LiftedModule
- instance Monad m => Module m Identity where + instance Functor f => Module f Identity where