monad-control-identity

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.