Clean言語報告はラムダ計算やグラフ理論の知識を前提にした議論をしてるから、
最初は読んでも分からんよ。