「新次元新発想！新しい関数型の定義を作るスレ」
になってるな。
そういう議論はバッカスの論文くらい読んでからにしてほしい。

っていうかお前ら関数型言語スレに帰ってください。