implementation module ZFRemoveAt

import StdEnv

Start = removeAt 101 [1 .. 100] == removeAt2 101 [1 .. 100]

removeAt2 :: Int [a] -> [a]
removeAt2 ...