I don't think every web framework in the Haskell ecosystem is about to adopt this practice, so that doesn't actually solve the problem, it merely says the problem doesn't affect you.

On Mon, Aug 26, 2013 at 1:07 PM, Henning Thielemann <schlepptop@henning-thielemann.de> wrote:

Am 26.08.2013 18:45, schrieb Edward Kmett:

Forcing users to use signatures on every Stringand import
Data.Traversableand Data.Foldablequalified "works," but it is the design

equivalent of sticking your head in the sand and pretending their we
don't have any problems.

Actually, I would not use type annotations. Instead I would avoid OverloadedStrings and write Text.pack where necessary. This saves me OverloadedStrings, the special list instance for IsString and type annotations. Maybe after all attempts of extending the compiler and patching the libraries we find that the initial solution was the best one.