rename HomogList to HList