<div dir="ltr">I want to add something. If we accept this (and I think we should), then we should strive to consider this a new beginning for Template Haskell, and what we consider the future of Template Haskell to be. It means that (as much as reasonable) every Template Haskell proposal will now be meant to primarily extend this one. In particular it'll be fine if a new proposal is incompatible with `-XImplictStagePersistence`, but not if it is incompatible with `-XNoImplicitPersistence`. I think that it's what we must be ready to commit to.<br></div>