Algebra.Monad.Free

data Free f a

concrete

unliftF

mapF

class MonadFree m f

coerceStep

coercePerform

coerceLiftF

data Cofree w a

type Infinite a

type Colist a

type Bifree f a

data ContC k a b

contC