After individual FunBinds have been parsed, they are combined in getMonoBind. In the process, all the original FunBind fun_id's bar one are discarded, including its location. This causes a problem for source-to-source conversions of functions such as the following (&&& ) [] [] = [] xs &&& [] = xs ( &&& ) [] ys = ys Where there are compound RdrNames, and each has different spacing. I am proposing to add a (Maybe (Located id)) to the Match datatype to deal with this. data Match id body = Match Maybe (Located id) -- fun_id in subsequent function equations [LPat id] -- The patterns (Maybe (LHsType id)) -- A type signature for the result of the match -- Nothing after typechecking (GRHSs id body) Is this a problem? Alan