hs-trace
========

A monad transformer for tracing error provenience. If you want a nice example of how to use it, this [bidirectional type checker](https://github.com/jonsterling/itt-bidirectional/blob/master/src/TT/Judgement/Bidirectional.hs) provides a very nice example and motivation.