Monads do not need to build up a computation. The identity functor is a monad.