Re: [GHC] #9396: Code cleanup: warning: use of GNU old-style field designator extension