1 2 3 4 5 6 7
{-# LANGUAGE ExistentialQuantification #-} -- !!! Check that we can't derive instances of existential types module ShouldFail where data Ex = forall a. Ex [a] deriving( Eq )