whereの制約でタプルが比較される際にラベルの一致も必要になっちゃうんですが、これってうまく回避するほうほうありますか？

7:56 AM

ラベルが違ってても型の順番があっていればオッケーにしたいです。