foldM_ f a xs = foldM f a xs >> return ()