fib { <- 0 1 { dup <- + -> swap } -> times zap } <