@hackage monad-control-identity0.2.0.0

Stronger classes than monad-control

This package defines the type class MonadBaseControlIdentity, which is very similar to MonadBaseControl from monad-control. The difference is, that MonadBaseControlIdentity instances are only valid, when there is no monadic state. This results in simpler type signatures to lift values in contravariant positions.