Updated to use Data.Void rather than defining a new version of Void.