Fwd: Add instance Monoid ((f :+: g) a)

7 Aug 2019

      ---------- Forwarded message ---------
보낸사람: Dannyu NDos 
Date: 2019년 8월 7일 (수) 04:50
Subject: Re: Add instance Monoid ((f :+: g) a)
To: Haskell Libraries 

Ah, sorry. (:+:) is not an Applicative. It's still possible to make
instance Monoid:

instance Semigroup (f a) => Semigroup ((f :+: g) a) where
    InL x <> InL y = InL (x <> y)
    InL _ <> y = y
    x <> _ = x

instance Monoid (f a) => Monoid ((f :+: g) a) where
    mempty = InL mempty