Use traverse_ where appropriate

[gelisam]

Reading this comment reminded me that a case maybex of { Nothing -> return (); ... } was recently simplified to maybe (return ()) .... Turns out we can simplify it further!