Test traverse1 laws on OneAnd[*..].