Stubs for extensible type proxy