Re: [GHC] #4437: unregistered language extensions