Update Monoidal.scala