1 2 3 4 5 6 7
Roles12.hs:5:1: Type constructor âTâ has conflicting definitions in the module and its hs-boot file Main module: type role T phantom data T a Boot file: data T a