A simple, easily embeddable pure-functional language with static typing and row polymorphism.