seq.v の foldrを使う。