We don't use it, and if we want an identity Monad then there's one
in transformers:Data.Functor.Identity that we could use.