Please refresh my memory! There have been numerous discussions on this list for lambda notations. Were any of those accompanied by a patch so that one could try them out?
