A toy functional programming language