-- Some examples of monads and how to construct them
open import Monads