[Haskell] translation of "kind"