Re: Adding dup to Data.Tuple?

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

On 28/10/18 09:48, Vanessa McHale wrote: they are arrows)" Ivan