これまでタプルの要素に対して共通のオペレーションを行うこと自体ができなかったから、タプルの各要素に共通の制約を適用する構文もなくて、それが問題なんだよなぁ。