Diagonalization/ dupe for monads and tuples?

[chessai]

*noun*
/ˈd(y)o͞opləkət/

   1. 1.
   one of two or more identical things.
   "books may be disposed of if they are duplicates"
   2. 2.
   short for duplicate bridge.
   3.

*verb*
/ˈd(y)o͞opləˌkāt/

   1. make or be an exact copy of.
   "they have not been able to duplicate his successes"



duplicate is a verb which means to make a copy of something. this is the
definition I have in mind when I see

dup :: a -> (a, a)

Of course the root of duplicate itself means two, but duplicate the verb
does not mean two.

Anyway, I'm not really interested in having more than 3 or 4, since that's
where you should have a datatype. And my interest for 3 and 4 is already
very low.

On Thu, Sep 17, 2020, 15:29 Matthew Farkas-Dyck <strake888 at gmail.com> wrote:

> On 9/17/20, chessai <chessai1996 at gmail.com> wrote:
> > to mean 'duplicate', not the number two
>
> 'duplicate' means 2.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200917/f04249cf/attachment.html>