Updating: improving ATSLIB/prelude/list