------------------------------------------------------------------------ -- The identity monad ------------------------------------------------------------------------ module Category.Monad.Identity where open import Category.Monad Identity : Set → Set Identity A = A IdentityMonad : RawMonad Identity IdentityMonad = record { return = λ x → x ; _>>=_ = λ x f → f x }