Re: [GHC] #13757: Are you for or against writing "otherwise" as a keyword?