Module

Matryoshka.Algebra

#GAlgebra 

type GAlgebra w f a = f (w a) -> a

#GAlgebraM 

type GAlgebraM w m f a = f (w a) -> m a

#Algebra 

type Algebra f a = f a -> a

#AlgebraM 

type AlgebraM m f a = f a -> m a

#ElgotAlgebra 

type ElgotAlgebra w f a = w (f a) -> a

Modules