Re: Diagonalization/ dupe for monads and tuples?

Am 17.09.20 um 06:49 schrieb Edward Kmett:

For what it's worth, I'd just like to see a no-nonsense

dup : a -> (a,a) dup a = (a,a)

in Data.Tuple, where it is out of the way, but right where you'd expect it to be when looking for something for working with tuples.

Yes, bipure and id &&& id exist, and generalize it on two incompatible axes, and if we had a proper cartesian category we'd be able to supply this in full generality, as a morphism to the diagonal functor, but all of these require a level of rocket science to figure out.

+1 Cheers Ben