nhc98 needs the Prelude for this module