Hello, there was some proposal for introducing a special syntax where f x _ z or f x ? z means \y -> f x y z. Is there some information on the Haskell' trac site about this? Best wishes, Wolfgang