これ。 http://d.hatena.ne.jp/camlspotter/20100710/1278752186 unlambdaとかlazy k(というかコンビネータ論理)を思い出した。 以下は答えそのものじゃないけど、思考手順が書いてあるので見たくない人はみない事。