@hackage trace0.2.0.0

A monad transformer for tracing provenience of errors

hs-trace

A monad transformer for tracing error provenience. If you want a nice example of how to use it, this bidirectional type checker provides a very nice example and motivation.