structural type Void =

> 3