Arity-generic decorators in Haskell

This started out as a fancy Haskell call-tracer and was then generalized to a Haskell decorator library.

The current, generalized library is described in a rejected ICFP Functional Pearl.

Older documentation describes the earlier, call-tracing focussed library:

Proof-tree Stack Overflow example
Slides from PSU PL Club presentation

Decrease your browser width and increase your browser height until the slides fit ...