Reflect changes of desugarer error reporting in VectMonad.