Update HaList.hpp