A type that specifies a callable value through its receiver, parameter types, result type, and optional suspension.