Box<Option<Ty>> -> Option<Box<Ty>>