鉴于以下类型系列：
type family C a b :: Constraint
这有类型：
C :: * -> * -> Constraint
虽然C Int无效（但不能部分应用类型系列）。
我们可以写下以下内容：
class (C a b) => C' a b
instance (C a b) => C' a b
现在我可以写：
C' Int
哪种类型：
C' Int :: * -> Constraint.
我的问题是，让我说我已经
了type family T a b
即。类型：
T :: * -> * -> *
我有没有办法定义T'以便我可以写：
T' Int
使用类型：
T' :: * -> *
就像我使用约束类型一样？