かつてのCatyスキーマを今一度使おうと思う、理論的・教育的な目的で。A, B, C などは型名を表すメタ変数、S, T などはスキーマを表すメタ変数として、スキーマは、 A [], [A], [A, B], [A, B, C] など、 {}, {a:A}, {a:A, b:B} など これらの入れ子 以上で…