Making Identity and Maybe monads