This is for the F# feature which automatically generalizes the arguments and types of functions so that they work with multiple types when this is possible.
