A lazy functional language.