mtl-2.1.2: Monad classes, using functional dependencies