Proposal: Improving the IsString String instance

[Henning Thielemann]

Am 25.08.2013 17:13, schrieb Edward Kmett:

> Looks like that takes us back to the original proposal.

It seems that both of Edward and my proposal have a drawback:
   Edward's proposal restricts lists to [Char].
   My proposal allows more element types, but type inference fails for 
(length "abc").

Why is it necessary to let (length "abc") work as is?
Would (length ("abc" :: String)) be too complicated?