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

data Semi a = Semi a

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