0.0.1

• Relax

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