blob: 6b5c57977e21d22761db905af79028151bb4cc44 (
plain)
1
2
3
4
5
6
7
|
T14887.hs:13:1: error:
• The kind of ‘Foo2’ is ill-scoped
Inferred kind: Foo2 :: forall (a :: k). forall k -> (a :~: a) -> *
NB: Specified variables (namely: (a :: k)) always come first
Perhaps try this order instead: k (a :: k) (e :: a :~: a)
• In the type family declaration for ‘Foo2’
|