You mean "degree, not kind"?
Also, I find myself amused at the Haskell interpretation, where "kinds" are the "types" of types...
You mean "degree, not kind"?
Also, I find myself amused at the Haskell interpretation, where "kinds" are the "types" of types...