pass type arguments to AppliedFunction