Proposal: Add &&& and *** to Data.Tuple

[Henning Thielemann]

On Mon, 17 Sep 2007, Jon Fairbairn wrote:

> instance Arrow (->) where
>   ...
>   (***) = (Data.Tuple.***)
>   (&&&) = (Data.Tuple.&&&)
>
> and modules that imported only Arrow (not Tuple) would see
> no difference from the present state of affairs.  Where
> things would be different would be if a module imported both
> Tuple and Arrow, when, instead of a name clash, *** and &&&
> would get their Arrow meanings (albeit with a specialised
> instance for ->).

If you import Tuple and Arrow, why not just import Arrow?