modified Maybe in Monads.scala