By “trace” I think GP meant that the required wrapper is still there at runtime but was only in service of the type system.