You can actually write an "empty" (ignoring ⊥) type: data Void Apart from maintaining symmetry and keeping the type system elegant, this is also very usef

You can actually write an "empty" (ignoring ⊥) type: data Void Apart from maintaining symmetry and keeping the type system elegant, this is also very useful when you want to use types as "tags", ensuring they cannot be instantiated.