Bind fewer cotangent intermediates in transposition
Bind fewer cotangent intermediates in transposition

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang