http://www.w3.org/ns/prov#value | - The other difficulty is that adding -XNoMonoLocalBinds if you have -XGADTs is extremely dodgy. (It should probably elicit a stern warning, although it does not at the moment.) So implicitly encouraging people to switch it off rather than fix the program properly is a bad idea.
|