Void is the root type