remove existential type. s/go/run