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