equivalences for Unit and Empty