“再映”簡單造句，再映造句子

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

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