Operations for sequentially ordered types