GADT Generalized algebraic data type 一般化された代数的データ型 (GADT)｜Haskellでの型レベルプログラミング Haskellの代数的データ型とGADTs - Qiita Haskell&圏論機運 テンソルを実装するのに表現可能関手がとても便利な件 - Qiita