| As to backwards compatibility in general, would there be a problem | if GHC and NHC continue to support their respective OPTIONS variants | as a deprecated feature? Then no old code should break. I think this is highly desirable. There are a lot of those OPTIONS pragmas out there now. Simon