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.
New to topics? Read the docs here!
New to topics? Read the docs here!