Desugaring foldM in Haskell

The function foldM from Control.Monad (or equivalently foldlM from Data.Foldable) desugars to

1
foldlm _ z [] = pure z
2
foldlm f z (x : xs) = f z x >>= \z' -> foldlm f z' xs