n-Tuple maps

[Adrian Hey]

Hello Jean-Philippe

On Monday 06 Mar 2006 9:52 pm, Jean-Philippe Bernardy wrote:
> You "just" need to witness the types you define Map2 for as
> parameters. A bit tricky, I grant you, but nonetheless logical. Once I
> got used to it I didn't find it any more difficult than the
> constructor-class approach.

Maybe, but does it have any advantages?

Also, is there a solution to the problem with intersectionWith?

I mean..
	intersectionWith :: (a -> a -> a) -> c -> c -> c
vs.
        intersectionWith :: (a -> b -> c) -> map a -> map b -> map c

Regards
--
Adrian Hey