Identity package:comonad

The trivial monad transformer, which maps a monad to an equivalent monad.