module Empty

Does nothing @see en.wikipedia.org/wiki/Empty_set