%(A:*) @(xs:(List A)) @(f:@(:A) Bool) (Maybe Nat)