Oh, awesome! Last I saw this you had a stateful decrement function. Great job making it functional. When you're done with arithmetic, you'll have to start in on a serious lambda calculus text. Then you and @theaspiringhacker can start teaching each other.