Split monad.hpp and add monads.hpp.