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