This encoding works with extensions automatically ...

# arrow

[raulraja]

This encoding works with extensions automatically without generating top level ext funs, it’s lighter and faster since member access is by subtype proof instead of virtual dispatch to interfaces.

The new encoding would look something like...