Identity Monad
Maybe monad