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