Re: [Haskell-cafe] Why were datatype contexts removed instead of "fixing them"?

Alexander Solla writes:

I do not support that criterion.  We use theory to ENSURE that no real-world code will break.

By theoretical example, I meant something which you would never expect to find in use. Perhaps it was a poor choice of wording in an academically orientated forum :-)