Re: [GHC] #12672: Missing lambda in third monad law description