I think this operation should be part of a new interface only implemented by reified space. In that way the default behavior is only in the interface and only reified space has a proper impl.