Wibbles to output from refactoring datacon code

testsuite/tests/gadt/gadt11.stderr

 
 gadt11.hs:12:3:
     Data constructor ‛L2’ returns type ‛T1 Bool’
-      instead of an instance of its parent type ‛T2 a’
+      instead of an instance of its parent type ‛T2’
     In the definition of data constructor ‛L2’
     In the data declaration for ‛T2’

testsuite/tests/typecheck/should_fail/T7175.stderr

 
 T7175.hs:8:4:
     Data constructor ‛G1C’ returns type ‛F Int’
-      instead of an instance of its parent type ‛G1 a’
+      instead of an instance of its parent type ‛G1’
     In the definition of data constructor ‛G1C’
     In the data declaration for ‛G1’

testsuite/tests/typecheck/should_fail/tcfail155.stderr

 
 tcfail155.hs:8:6:
     Data constructor ‛P’ returns type ‛L2’
-      instead of an instance of its parent type ‛T a’
+      instead of an instance of its parent type ‛T’
     In the definition of data constructor ‛P’
     In the data declaration for ‛T’

testsuite/tests/typecheck/should_fail/tcfail176.stderr

 
 tcfail176.hs:7:21:
     Data constructor ‛Bug’ returns type ‛Maybe a’
-      instead of an instance of its parent type ‛Bug a’
+      instead of an instance of its parent type ‛Bug’
     In the definition of data constructor ‛Bug’
     In the newtype declaration for ‛Bug’