Monads

Definition of Monads