some ViewSequenceの時点で型情報が見えなくなってるので、リストの長さに関して型安全にならないと思います