module ShouldFail where data Test a = T a deriving( Show a, Read )