That would imply that the real type isn't actually...
# random
z
That would imply that the real type isn't actually erased?