スペシャライズされない場合、この関数の内部では sequence は existential として扱われてるんじゃないの？