hls-tactics-plugin-1.1.0.0: test/golden/KnownBigSemigroup.hs.expected

import Data.Monoid

data Big a = Big [Bool] (Sum Int) String (Endo a) Any

instance Semigroup (Big a) where
  (<>) (Big l_b7 si8 l_c9 ea10 a11) (Big l_b si l_c ea a)
    = Big
        (l_b7 <> l_b) (si8 <> si) (l_c9 <> l_c) (ea10 <> ea) (a11 <> a)