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

{-# LANGUAGE UndecidableInstances #-}

data Semi = Semi [String] Int

instance Semigroup Int => Semigroup Semi where
  (<>) (Semi ss n) (Semi strs i) = Semi (ss <> strs) (n <> i)