[nhc-bugs] Re: detecting ghc 5.00