向量 , 任意 → 

如果可行，将所给 iota存入所给位置处的方块。