Implemented exercise for Monoid[Option[A]].