trace (hackage):   [Index]  Package maintainers  For package maintainers and hackage trustees  Candidates    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.
Keywords: control|library|mit