hls-tactics-plugin-1.8.0.0: old/test/golden/KnownThetaSemigroup.hs

data Semi a = Semi a

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