update and updates type variable swap

[weaversa]

The type of update is:

update : {n, a, ix} (Integral ix) => [n]a -> ix -> a -> [n]a

The type of updates is:

updates : {n, k, ix, a} (Integral ix, fin k) => [n]a -> [k]ix -> [k]a -> [n]a

Suggestion: change update so that ix and a occur in the same order in the type lists of both functions.