“再映”造句，怎麼用再映造句

往返是從一種表示映*到另一種表示，然後再映*回來的過程。

因此雖然映*到更一般化的型別是安全的，但是再映*回專門化型別時可能會出現問題：專門化型別有更多的規則使得內容專門化。