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

{-# LANGUAGE UndecidableInstances #-}

data Semi = Semi [String] Int

instance Semigroup Int => Semigroup Semi where
  (<>) (Semi l_l_c5 i6) (Semi l_l_c i)
    = Semi (l_l_c5 <> l_l_c) (i6 <> i)