Tidy up prelude reexport
Remove empty Void implementation