-otherwise the "$dm" stuff comes out in the interface file. So we
-typecheck the former, and wrap it in a let, thus
+otherwise the "$dm" stuff comes out error messages. But we want the
+"$dm" to come out in the interface file. So we typecheck the former,
+and wrap it in a let, thus