A lazy functional language
