Support writing needed extension types

Makes sense