+module ShouldSucceed where
+
data Z a b
= C1 (T a)
| C2 (Z [a] [b])
- deriving Text
+ deriving (Show, Read)
data T a
= E1
-instance Eq a => Text (T a) where
+instance Eq a => Show (T a) where
showsPrec = error "show"
+instance Eq a => Read (T a) where
readsPrec = error "read"