[tome]

I think the GHC2021 group of blessed extensions provides what you want.

https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/cont...

[anyfoo]

That's indeed useful and something that I didn't know about, thank you!

[dllthomas]

ScopedTypeVariables by default! Excellent.