This type unifies with anything but Void.

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