[Ur] the Unit kind

[Gergely Buday]

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