Add definitions for sequence and traverse