Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)