1 2 3 4 5
Roles8.hs:5:1: Role mismatch on variable a: Annotation says Phantom but role Representational is required In the data declaration for ‛T1’