I'm concerned that it will be used as an escape from the type system arbitrarily. Right now there is nothing to discourage the abuse of this storage class. Is there something we can do to discourage abuse?