Another toy functional language