because for `Tuple2` `as` would anly accept `A : A...
# arrow
r
because for
Tuple2
as
would anly accept
A : Arity2<String, Int>