guest post for ocharles draft: deriving extensions