th-letrec

Implicit (recursive) let insertion.

Implicit (recursive) let insertion.

The package provides letrecE combinator which allows dynamic and implicit let-expression generation. It is specially handy for Typed Template Haskell, as generating dynamic structures is impossible with (static) splices.