%(A:*) @(n:Nat) @(xs:(List A)) (List A)