Identity package:universum

Identity functor and monad. (a non-strict monad)
The trivial monad transformer, which maps a monad to an equivalent monad.