Monads.scala update