AndThenFunc is a type alias for a function that takes a param and returns Either

BindFunc is a function type used for Bind

Either represents the Either monad. LeftType.AndThen returns identity, RightType.AndThen returns the result of applying the function to the element.

EitherM provides a full monadic wrapper around Either with Return so that it implements monad.Monad. An either may be a LeftType or a RightType. By c

LeftType represents the left-hand side of an Either

List represents a lazily evaluated list type

MPlus defines the interface for the MonadPlus class

Maybe provides an implementation of monad.Monad

Monad represents a generic monad

Pipeline is a type alias for a lazy list of pipeline functions

RightType represents the right-hand side of an Either

UnitType is a base unit type

Just is a plain value

Nothing is the nil value for the maybe