GHC_7.4.1_の型レベル新機能を使い倒す_〜GADTs、型族_と_DataKinds、ConstraintKinds_の円環〜_-_konn-san.com