Exploring how to make a strict imperative universe in the GHC runtime system. - View it on GitHub