声明含未使用类型函数参数的类型时遇到的问题

这是个非常典型的Haskell类型系统细节问题，我来一步步帮你理清思路和解决方案。

问题根源 #

你观察到的现象本质是Haskell的类型推断会根据值构造器的参数来推导类型变量的种类。当你写：

newtype Wrapper f a = Wrapper a

编译器看不到值构造器里用到了f，所以它会默认推断f的种类是*（普通类型），最终Wrapper的kind就变成了* -> * -> *，而不是你想要的(* -> *) -> * -> *。

解决方案：显式指定类型变量的种类 #

只需要启用KindSignatures扩展，显式告诉编译器f的种类是* -> *（也就是接受一个类型、返回一个类型的类型函数），就能让Wrapper保持你期望的kind：

{-# LANGUAGE KindSignatures #-}
newtype Wrapper (f :: * -> *) a = Wrapper a

现在再执行:kind Wrapper，就能得到：

Wrapper :: (* -> *) -> * -> *

完全符合你的需求：

• 类型层面，f仍然是一个类型函数参数，可以构造Wrapper Maybe Int、Wrapper [] String这类类型；
• 值层面，构造器Wrapper只存储a的值，完全忽略f，而且因为是newtype，不会有任何额外的运行时开销。

额外验证 #

你可以用类型应用（需要TypeApplications扩展）来明确指定f的类型，验证类型层面的正确性：

{-# LANGUAGE KindSignatures, TypeApplications #-}
newtype Wrapper (f :: * -> *) a = Wrapper a

-- 构造一个明确指定f为Maybe的Wrapper值
example :: Wrapper Maybe Int
example = Wrapper @Maybe @Int 42

这个值在运行时就是普通的42，没有多余的存储，但类型上确实保留了Maybe这个类型函数参数。

替代方案（不推荐） #

如果你不想启用扩展，也可以用Proxy类型来“占位”，让编译器推断出f的种类：

import Data.Proxy

newtype Wrapper f a = Wrapper (Proxy f, a)

但这样值构造器里会多一个Proxy f的空值——虽然Proxy在运行时是零大小的，但显式指定种类的方案更简洁直接，也更贴合你的核心需求。

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