Granted, it's an ugly hack, but the sort of thing you describe is unlikely to happen, as we are very careful about the use of `fromVoid`.