Re: [Haskell] translation of "kind"