The layout of object slots for my instances.
The normalized set of checked exceptions that may be raised by message sends performed from within a function described by this function type.
The most general type of value that may be produced by a successful completion of a function described by this function type.
A tuple type indicating what kinds of arguments this type's instances will accept.