uninhabited /ˌʌn.ɪnˈhæb.ɪ.tɪd/ adjective2 •Not inhabited; having no inhabitants. •Not having a term.This is not a contradiction since an uninhabited type has no complete terms and a probability distribution over an empty type is ill defined anyway. — 2017
