hls-tactics-plugin-1.2.0.0: test/golden/KnownThetaSemigroup.expected.hs

data Semi a = Semi a

instance Semigroup a => Semigroup (Semi a) where
  (<>) (Semi a) (Semi a') = Semi (a <> a')