---Haskellには種(kind)という仕組みがあります。大雑把に言ってしまえば、「型の型」を実現する仕組みです。この仕組みについて、あまり情報が出回っていないようなので、解説記事を残しておこうと思います。この記事は、[Ladder of Functional Programming](http://lambdaconf.us/downloads/documents/lambdaconf_sl