blob: dc052ceaa78fd9315c59bf28b3c6480bb13025ed (
plain)
1
2
3
4
5
6
7
|
T15789.hs:10:80: error:
• 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’
|
