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