[catnaroek]

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