Use an empty enum for Void; fix #1 thanks to @reem