------------------------------------------------------------------------
-- 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
  }