default instance for IsString

[Yitzchak Gale]

Simon Marlow wrote:
> In this thread people are using the term "safe" to
> mean "total".  We already overload "safe" too much, might it be a better
> idea to use "total" instead?

I'm not sure what you're talking about. I don't see how
this thread has anything to do with total vs. partial
functions.

I'm saying that the static syntax of string literals should
be checked at compile time, not at run time. Isn't that
simple enough, and self-evident?

Thanks,
Yitz