Identity monad ($\mathrm{Id}A=A$)

The computational monad whose result is the identity function and whose sequencing is ordinary application. It adds no effects and provides a starting point for a stack of monad transformers.