まとめを書いた。 http://lethevert.blogspot.com/2006/11/towards-strongly-typed-functional.html

Cleanでも、それは消えない。 push stack a = [a:stack] pop [a:stack] = stack nop stack = pop (push stack 1)