records-fail1.hs:7:1:
    Constructors T1 and T4 have a common field ‘x’,
      but have different result types
    In the data declaration for ‘T’