-Look through Notes. In particular, we don't want to
-be confused by InlineMe notes. Maybe we should be more
-careful about profiling notes, but for now I'm just
-riding roughshod over them.
-See Note [Notes in call patterns] in SpecConstr
+Look through Notes in both template and expression being matched. In
+particular, we don't want to be confused by InlineMe notes. Maybe we
+should be more careful about profiling notes, but for now I'm just
+riding roughshod over them. cf Note [Notes in call patterns] in
+SpecConstr