default instance for IsString

[J. Garrett Morris]

On Mon, Apr 23, 2012 at 11:10 PM, Yitzchak Gale <gale at sefer.org> wrote:
> This is true; the use of polymorphism for numeric literals is also
> unsound.

By this logic, head is "unsound", since head [] throws an error.
Haskell types are pointed; Haskell computations can diverge.  What
happens after the computation diverges is irrelevant to type soundness.

 /g


--
"Would you be so kind as to remove the apricots from the mashed potatoes?"