Support writing needed extension types

I believe that's called an untruthitude in discrete mathematics.