Re: [GHC] #14249: ApplicativeDo: Pattern matching on a bind forces a Monad constraint