A toy functional language