n-Tuple maps

Adrian Hey ahey at iee.org
Tue Mar 7 07:55:49 EST 2006

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
        intersectionWith :: (a -> b -> c) -> map a -> map b -> map c

Adrian Hey

More information about the Libraries mailing list