This type unifies with any function type.

It is intended to be used as a type parameter constraint. If used as a real type, the underlying type will be Dynamic.