fix up formativing in  Generic/Mutable.lhs