[Haskell-cafe] German names for kinds and sorts

[John Lato]

> From: Jerzy Karczmarczuk <jerzy.karczmarczuk at unicaen.fr>
>
> So, even more seriously, I propose to use more often Latin and Greek.

Jerzy's arguments make a lot of sense to me, but why not use an
index-based notation?

T0 = Type
T1 = Kind
T2 = Sort
etc.

this seems easier to me than an arbitrary hierarchy, particularly as
you go higher up the structure.

John Lato