| I've had a quick look and I think something called by one or both of | "tcMonoExpr (HsBracket brack loc) aes_ty" and "tcBracket"? Oh, but the | former calls the latter, so probably somewhere in tcTopSrcDecls? I'll | try following this through if so. deSugar/DsMeta.lhs, line 156 or thereabouts, is where a declaration bracket gets turned into data structure. Instead of return (val_ds ++ catMaybes tycl_ds ++ inst_ds) you want return (sortByLoc (...the same thing...)) where sortByLoc does the sorting by source location. Have fun! Actually it should be really easy. Simon