Scala 3: typed tuple zipping I'm trying to zip tuples together and use match types to get the exact type of the resulting zip. I have a match type and the function: type Z[A