xtの使い所は、例えばプロトコル型のままコピーとかしてるときに、値のコピー自体が、xtから取り出された「コピー用の関数」に x を渡す形にコンパイルされる。これによって、Catがstructの場合は値コピー、classの場合は参照コピー + Retain , みたいな挙動が抽象化される