blob: 795506e3b3088a6975ab9807f02d8ede510e61a1 (
plain)
1
2
3
4
5
6
7
|
T17008a.hs:11:5: error:
• Type variable ‘a1’ is mentioned in the RHS,
but not bound on the LHS of the family instance
The real LHS (expanding synonyms) is: F @a2 x
• In the equations for closed type family ‘F’
In the type family declaration for ‘F’
|