純粋関数型言語の技術書 (1 冊)