Use @function to type parameters in function
infer function type (parameters only)