hls-tactics-plugin-1.8.0.0: new/test/golden/KnownDestructedSemigroup.hs

data Test a = Test [a]

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