It would be difficult (if not impossible) to deriv...
# getting-started
a
It would be difficult (if not impossible) to derive the type of
names
and
ages
above if
unzip
handled tuples of arbitrary length