1 2 3 4
{-# LANGUAGE Haskell2010 #-} -- !!! Repeated variable in instance predicate module M where instance Eq a => Eq (Either a a)