Updated for 2.10.0. Implicit tuple to HList