Upper limit to HList dep.