Data.Thrist.Monad

Documentation

data Monad' :: (* -> *) -> * -> * -> * where

Constructors

Feed :: Monad m => m b -> Monad' m a b

Digest :: Monad m => (a -> m b) -> Monad' m a b