fmap 的自由定理
考虑以下包装器： <pre><code>newtype ...
自然地图推导算法
<a href="https://www.reddit.com/r/haskell...