Adding dup to Data.Tuple?

[Ivan Perez]

On 28/10/18 09:48, Vanessa McHale wrote:
> According to GHCi,
>
> λ:> import Control.Arrow
> λ:> :t (id &&& id)
> (id &&& id) :: b -> (b, b)
>
> That is, this implementation has type a -> (a, a) as well.
Yes, yes, that's what I meant by "it works for functions as well (since 
they are arrows)"

Ivan