Simpler HList arbs.