definition module ZFUpdateAt

updateAt2 :: !Int a ![a] -> [a]