This type unifies with anything but Void.
Void
It is intended to be used as a type parameter constraint. If used as a real type, the underlying type will be Dynamic.
Dynamic