昔々，型推論が可能な簡単な関数型言語が提案された．

から始まる、Garrigue先生の昔話風abstractが凄い好きです。

http://www.graco.c.u-tokyo.ac.jp/ppl2005/papers/4-2.pdf

自分が「純粋」だなんて,人に言い歩いたりはしないが,人の信用を裏切ってはいけない.健全で完全,それが約束だった.さあ,懺悔の時が来た.