%(A:*) @(as:(List A)) @(bs:(List A)) (List A)