I don't see why we can't explicitly can't expose the "Only" type.