{-# htermination foldM :: Monad m => (a -> b -> m a) -> a -> [b] -> m a  #-}
import Monad