mtl-2.0.1.0: Monad classes, using functional dependencies