Dan Doel <dan.doel <at> gmail.com> writes:

> However, another thing to consider is that getting rid of data type
contexts was accepted into the language standard.

... 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.