On Sun, May 27, 2007 at 11:12:47AM +0100, Andrew Coppin wrote: > So, clearly, (->) is not associative. That's right. > Now I'm left wondering why you can bracket the type for map in two > different ways Are you sure you can? Best regards Tomasz