blob: 9d38afdb9a54da41dc0e6c5de27b0a51e32a7232 (
plain)
1
2
3
4
5
6
|
T7536.hs:8:18: error:
• Type variable ‘a’ is mentioned in the RHS,
but not bound on the LHS of the family instance
The real LHS (expanding synonyms) is: TF Int
• In the type instance declaration for ‘TF’
|