%(A:*) @(xs:(List A)) @(res:(List A)) (List A)