Generalise constraint on `instance Monoid (Maybe a)` to Semigroup

Authored by hvr on Sep 19 2017, 12:54 AM.


Generalise constraint on instance Monoid (Maybe a) to Semigroup

This now becomes possible due to the introduction of the
Semigroup=>Monoid superclass relation (see Trac #14191).

Reviewers: ekmett, RyanGlScott, austin, bgamari

Reviewed By: ekmett, RyanGlScott, bgamari

Subscribers: rwbarton, thomie

Differential Revision: