Module

Control.Monad.Free.Class

#MonadFree

class MonadFree :: (Type -> Type) -> (Type -> Type) -> Constraintclass (Monad m) <= MonadFree f m | m -> f where

Based on http://hackage.haskell.org/package/free/docs/Control-Monad-Free-Class.html

Members

Instances

Modules