> can anybody tell me what the German translation of the word "kind" as used in > type theory and especially in Haskell is? Wie wär's mit `Sorte', Ralf