Re: [Haskell-cafe] German names for kinds and sorts