That’s my understanding, yes — unlike current AnyVals, opaque types basically just become their underlying types at runtime.

This means they do have some limitations (for example, I gather you can’t pattern-match on them quite as you expect), but they should provide the sort of reliable efficiency that people have been looking for.