inferring HList from types now