Proposal: Improving the IsString String instance
schlepptop at henning-thielemann.de
Sun Aug 25 20:29:36 CEST 2013
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
Why is it necessary to let (length "abc") work as is?
Would (length ("abc" :: String)) be too complicated?
More information about the Libraries