『関数プログラミング』の 8.4 に抽象型についての説明があったんだけど、抽象化関数 abstr がそのまま自然変換になってる。こっちには全射（surjective）の条件が必要だけど･･･。 ユーザ定義の (list α) 型と組み込みのリストとの対応関係とか。 抽象化関数…