http://pub.cozmixng.org/~the-rwiki/rw-cgi.rb?cmd=view;name=RHG%C6%C9%BD%F1%B2%F1%3A%3A%C5%EC%B5%FE+Revolution%3A%3A%A4%D5%A4%C4%A4%A6%A4%CEHaskell%A5%D7%A5%ED%A5%B0%A5%E9%A5%DF%A5%F3%A5%B0
># p.269 kind の訳語は「類」なのか、「種」なのか?
>
>    * ふつけるで使っている「類」は、nobsun の訳を元にしているんだろうけど……
>          o 数学辞典を調べて、出てきた用語を使ったような
>                + 「類」は "Class" じゃないの?
>    * Clean では「種」
>    * 型理論の方面では「種」が使われている
>    * というわけで、以後は「種」を使うことにしましょう

このスレの住人の意見を聞きたいんだが、kindの訳語として「類」と「種」のどっちを使うべき?