# Pastebin kqtvrPPc
{-# LANGUAGE UndecidableInstances #-}

newtype Bag t = Bag {items :: t String}

deriving instance (Eq (t String)) => Eq (Bag t)