hls-tactics-plugin-1.3.0.0: test/golden/KnownDestructedSemigroup.expected.hs

data Test a = Test [a]

instance Semigroup (Test a) where
  (Test a) <> (Test c) = Test (a <> c)