这个问题的核心在于Haskell的类型角色（Role）系统，以及GHC如何推导类型构造器参数的角色。让我们一步步拆解原因和解决方案：

为什么第一个例子能工作，第二个不行？ #

先看你的Env类型：

data Env m = Env { logger :: String -> m () }

当你用decorate转换Env IO到Env (IdentityT IO)时，GHC允许coerce的原因是：

• Env是单构造器、单字段的data类型，其字段类型String -> m ()和String -> IdentityT m ()是Coercible的（因为IdentityT是newtype，m ()和IdentityT m ()可以安全coerce，而函数类型的返回值位置是representational角色，所以整个函数类型也能coerce）。
• 对于这种简单的单字段data类型，GHC会默认允许在字段类型Coercible的情况下，coerce整个记录类型（或者说，GHC推导Env的m参数为representational角色，因为它只出现在representational的位置）。

而你的Env'类型：

data Env' h m = Env' { logger' :: h (String -> m ()) }

问题出在Env'的m参数的默认角色是nominal。GHC的角色系统中，data类型的参数默认是nominal角色——这意味着只有当参数类型完全相同时，才能coerce整个类型构造器的实例。即使底层表示完全一致，nominal角色也会阻止你将m从IO替换为IdentityT IO。

为什么h参数（这里是Identity）不影响？因为Identity是newtype，它的参数是representational角色，但Env'本身的m参数是nominal，这就阻断了coerce的路径。

如何让coerce在Env'上工作？ #

你需要显式给Env'的m参数设置representational角色，告诉GHC这个参数的变化不会破坏类型安全性。步骤如下：

1. 启用RoleAnnotations扩展（这是设置角色注解必需的）。
2. 给Env'添加角色注解，指定m参数为representational角色。

修改后的代码：

{-# LANGUAGE RoleAnnotations #-}

import Data.Functor.Identity
import Control.Monad.Trans.Identity
import Data.Coerce

-- 注解：第一个参数h的角色保持默认nominal，第二个参数m设为representational
{-# ROLE Env' _ representational #-}
data Env' h m = Env' { logger' :: h (String -> m ()) }

env' :: Env' Identity IO
env' = undefined

decorate :: Coercible (r_ m) (r_ (IdentityT m)) => r_ m -> r_ (IdentityT m)
decorate = coerce

decoratedEnv' :: Env' Identity (IdentityT IO)
decoratedEnv' = decorate env' -- 现在可以正常编译了！

额外说明 #

• 角色注解的语法：{-# ROLE TypeName role1 role2 ... #-}，每个角色对应一个类型参数。_表示使用默认的nominal角色。
• 如果你的h参数也需要是representational角色（比如未来可能替换Identity为其他newtype），可以把注解写成{-# ROLE Env' representational representational #-}。
• 角色系统的目的是防止不安全的coerce操作——比如，如果你有一个类型参数用于区分不同的语义（如newtype Age = Age Int和newtype Height = Height Int），nominal角色会阻止你coerce这两个类型，即使底层都是Int。

内容的提问来源于stack exchange，提问作者danidiaz