Support writing needed extension types

A private interface?