The functional language 2nd