fmap 的自由定理
考虑以下包装器： <pre><code>newtype ...