blob: 039f932c80fb6a6a88b2141419391f58c85c69e0 (
plain)
1
2
3
4
5
6
7
|
T15789.hs:10:80: error: [GHC-83865]
• Expected kind ‘k2 -> *’, but ‘cat b’ has kind ‘*’
• In the first argument of ‘Cat’, namely ‘(forall b. cat b u)’
In the kind ‘forall (cat :: forall xx. xx -> Type) a.
forall b. Cat (forall b. cat b u)’
In the data type declaration for ‘Zero’
|
