A tiny functional language