more monad work with traverse and sequence functions