A void type