and HList2<A, B>.as can only go to `Arity2` ...
# arrow
r
and HList2<A, B>.as can only go to
Arity2
or similar