型族って何？と聞かれたんだけど上手く説明できない．どんなときに便利なの？と聞かれたんだけどそれはHaskell WiKi読めってことで． で，まぁ無益なプログラムなら，以下のような型だけがあって実体のない（上手い表現を思いつかない）プログラムの例を書け…