Use a Zipper to process MakeWellFormed, removing quadratic behavior.