Make a Symbol a newtype over String
The https://github.com/ghc-proposals/ghc-proposals/pull/562 was resolved with "doesn't need ghc-proposal", so AFAICT this only needs someone to actually implement it
The https://github.com/ghc-proposals/ghc-proposals/pull/562 was resolved with "doesn't need ghc-proposal", so AFAICT this only needs someone to actually implement it