> Isn't it about time to allow explicit imports, and more
> explicit non-imports for instances?
> Some time ago I fantasised about some special syntax for
> calling the (very rough) idea "aspects" ...
I am interested in use cases for scope-controlling
Specifically I'm not seeing how scoping instances
(instances of what, exactly?) helps with the "record
Typically if you have several record types with the
you want all of those to be in scope, where the field-access
gets resolved according to the record's type.
The `DuplicateRecordFields` extension now provides
reasonable support for that, doesn't it?