I like TemplateHaskell, but it's very much a "turn it on where you need it" thing. On the other side, ScopedTypeVariables is the way the language should have a

I like TemplateHaskell, but it's very much a "turn it on where you need it" thing. On the other side, ScopedTypeVariables is the way the language should have always worked, and should probably just be enabled globally. OverloadedStrings is a trivial syntactic convenience, where every use of a string literal is replaced by (fromString "the string literal"). This makes code substantially more readable when you are wanting literal values of (typically) Text. The downside is that the compiler can't always know what type fromString is expected to return, so you sometimes need to add more type annotations, which gets messy again. I don't care much which way it's set at a project level - I toggle it per file if the project default is too much of a pain locally.