I kind of accept [dependent types] as part of the trade off […]
The people who started these threads were probably also that “accepting” to begin with:
…and as a result both extensions can now only be accessed by using the appropriate command-line options in GHC. But dependent types are different - to many here, "they are the future of Haskell" and (eventually) there won’t be a option to disable them. So if you don’t like dependent types, or just have some doubts about them:
…well that’s just too bad. But there supposedly are plenty of other languages to choose from!
(If you’re content with strict semantics.)