In C void is the unit type. I'm not sure why we should respect C's choice of nomenclature, when the obvious thing to call it is Unit, and an obvious thing to call an uninhabited type is Void. Haskell's choice is fine.