One declared effect plus a structural location string identifying where it sits in the definition (for diagnostics).
One declared effect plus a structural location string identifying where it sits in the definition (for diagnostics).