Why is dedicated standard library support needed, when you can recover it from tuples, single-argument functions and Hom-tensor adjunctions[0]? [0] https://en.

Why is dedicated standard library support needed, when you can recover it from tuples, single-argument functions and Hom-tensor adjunctions[0]? [0] https://en.wikipedia.org/wiki/Tensor-hom_adjunction https://en.wikipedia.org/wiki/Tensor-hom_adjunction