Diagonalization/ dupe for monads and tuples?

[Ben Franksen]

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