Yet another toy functional programming language