[javcasas]

Or you use -XOverloadedStrings and then you also have in Haskell multiple representations that follow a single polymorphic interface.

[millstone]

It does not. -XOverloadedStrings unlocks `fromString :: String -> a.` That is not a polymorphic string interface; it's just syntax sugar for making something else from a string literal.