受け取ったSequenceからmakeIteratorを取り出す時にwitness-tableが要るのか