~T -> Box, ~expr -> box expr