1{-# LANGUAGE UndecidableInstances #-} 2 3data Semi = Semi [String] Int 4 5instance Semigroup Int => Semigroup Semi where 6 (<>) = _ 7 8