mtl is:exact

Monad classes for transformers, using functional dependencies MTL is a collection of monad classes, extending the transformers package, using functional dependencies for generic lifting of monadic actions.