blob: 74379a316cb765c10722dade6726bba7c60e9954 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T16255.hs:13:3: error:
• Illegal oversaturated visible kind argument: ‘@Bool’
• In the equations for closed type family ‘F1’
In the type family declaration for ‘F1’
T16255.hs:21:3: error:
• Illegal oversaturated visible kind argument: ‘@Symbol’
• In the equations for closed type family ‘F2’
In the type family declaration for ‘F2’
|