The MonadEval.Instance
provides the means to combine
MonadEval instances with other type-classes.
The MonadEval.Instance
provides the means to combine
MonadEval instances with other type-classes.
To be inherited by MonadEval
instances.
Laws for MonadEval.
The MonadEval.Type
should be inherited in type-classes that
are derived from MonadEval.