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

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

Description

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: https://phabricator.haskell.org/D3972

Details

Committed
hvrSep 19 2017, 12:56 AM
Pushed
bgamariSep 19 2017, 1:18 PM
Reviewer
ekmett
Differential Revision
D3972: Generalise constraint on `instance Monoid (Maybe a)` to Semigroup
Parents
rGHCDIFF120c568a0b40: Allow opt+llc from LLVM5
Branches
Unknown
Tags
Unknown