I'm entirely open to this being a GHC flag rather than a language extension flag. I was just following the pattern of NoImplicitPrelude.
I'll get a bit further, document my progress, and invite public feedback.
Simon
TBH I'm inclined to agree with this. In particular, I think of language extensions as things that potentially could find their way into a standard (or quasi-standard like `GHC2xxx`). As such, there may be a couple of others that could use a look. (`NoImplicitPrelude` I would not consider such, since it's useful with alternative preludes.)