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.
      short for duplicate bridge.
    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@gmail.com> wrote:
    On 9/17/20, chessai <chessai1996@gmail.com> wrote:
    > to mean 'duplicate', not the number two

    'duplicate' means 2.