I vaugly remember using tuple sections at some point, but perhaps I was dreaming because they don't seem to actually exist. I mean something like (,3) meaning \x -> (x,3) (4,,,3) meaning \x y -> (4,x,y,3) were these supported at one point? if they don't exist, is there some reason why not? they seem like an obvious generalization of sections for binary operators like inc = (1 +) John -- --------------------------------------------------------------------------- John Meacham - California Institute of Technology, Alum. - john@foo.net ---------------------------------------------------------------------------