# Pastebin yPv3Y0fK
{-# LANGUAGE UndecidableInstances #-}

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

instance (Eq (t String)) => Eq (Bag t) where
  Bag x == Bag y = x == y