Hi there, I'm wondering about the role of the Unit kind. Is that there to have the
kind x Unit = kind
equality, so to have a neutral element in the structure of kinds?
And, while it is clear that {Type} is a type-level record, it is not
clear what purpose does
{Unit} and {{Unit}}
have. Could anybody give an explanation?
- Gergely
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
