再映造句怎么写

因此虽然映*到更一般化的类型是安全的，但是再映*回专门化类型时可能会出现问题：专门化类型有更多的规则使得内容专门化。

往返是从一种表示映*到另一种表示，然后再映*回来的过程。