The generalized intensional compiler for a Haskell-like language.