Re: [GHC] #12719: master branch broken with alex 3.2