Diagonalization/ dupe for monads and tuples?
ben.franksen at online.de
Thu Sep 17 06:49:59 UTC 2020
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.
More information about the Libraries