Portability  portable 

Stability  experimental 
Maintainer  ross@soi.city.ac.uk 
 Computation type:
 Simple function application.
 Binding strategy:
 The bound function is applied to the input value.
Identity
x >>= f ==Identity
(f x)  Useful for:
 Monads can be derived from monad transformers applied to the
Identity
monad.  Zero and plus:
 None.
 Example type:

Identity
a
The Identity
monad is a monad that does not embody any computational strategy.
It simply applies the bound function to its input without any modification.
Computationally, there is no reason to use the Identity
monad
instead of the much simpler act of simply applying functions to their arguments.
The purpose of the Identity
monad is its fundamental role in the theory
of monad transformers.
Any monad transformer applied to the Identity
monad yields a nontransformer
version of that monad.