%(A:*) %(B:*) @(as:(List A)) @(bs:(List B)) %(C:*) @(f:@(:A) @(:B) C) (List C)