Brandon Allbery allbery.b at gmail.com writes:
... which means that implementers should be free to fix data type contexts
however they like, as they are now complier extensions which won't conflict
with standard Haskell.
Except that people do build older programs with newer Haskell
Alexander Solla alex.solla at gmail.com 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