blob: 838ee51c8f4efb896f64410af2172d041d413657 (
plain)
1
2
3
4
5
6
7
|
T15591b.hs:9:3: error:
• These kind and type variables: a c
are out of dependency order. Perhaps try this ordering:
a (b :: Proxy a) (c :: Proxy b)
NB: Implicitly declared variables come before others.
• In the associated type family declaration for ‘T4’
|
