A lazy functional language.
