sequence and traverse with option type