Toy functional language.