Just noting what you're doing here. Here, `mapping` is only emitted if the source span is real.  `nullSourceSpan` is defined as `SourceSpan "" (SourcePos 0 0) (SourcePos 0 0)`. The `""` is where the name would go.