| This is almost exactly what I want. There is one thing I don't understand | though. Namely the __letrec defining: | | incL_akO = incL_akH | incL_akH = ... incL_ak0 ... | | Why this indirection? Is this also because the desugarer tries to do the most | simple thing? Yes, that's why. | And is there a preprocess function that translates this into: | | incL_akH = ... incL_akH ... ? Sure! Just run the simplifier. It has plenty of knobs to tell it how hard to try. In particular, simplifyPgm has this type simplifyPgm :: SimplifierMode -> [SimplifierSwitch] -> HscEnv -> UniqSupply -> RuleBase -> ModGuts -> IO (SimplCount, ModGuts) -- New bindings Setting the SimplifierMode to SimplGently makes the simplifier just do the bare minimum. It's probably what you want. Simon