always returns a Boolean value, and therefore so does big? With inference like this, it is no longer necessary to manually add a ^boolean type hint to a predicate used in performance-critical code, so long as the return value can be infered from the predicate function body. In general, any inferred types will automatically flow from function bodies outward, such as an inferred numeric type in the following example: