edwinb/Idris-dev — pull request #206 by LeifW (2013-02-28 09:12:58+00:00)
Title: Make seperated named functions for the Monoid <=> Maybe cast.

Also, Semigroup a -> Monoid (Maybe a) should actually only require a semigroup.