タプルを伸ばすんじゃなくて再帰的な型ツリーにする方針になるなら制限がなくなるね。