没有构造函数的 Purescript `data` 类型是什么意思？
What does a Purescript `data` type with no constructor mean?
例如（来自 purescript-halogen）：
data Slot (query :: Type -> Type) output slot
这是在宣布无人居住的类型吗？ （如果是这样，我认为它将专门用作幻影类型。）
它可能应该是 foreign data 而不仅仅是 data，因为这个有人居住 - 它只是通过强制使用，因为它被用作另一种类型的版本它的参数存在隐藏。
例如（来自 purescript-halogen）：
data Slot (query :: Type -> Type) output slot
这是在宣布无人居住的类型吗？ （如果是这样，我认为它将专门用作幻影类型。）
它可能应该是 foreign data 而不仅仅是 data，因为这个有人居住 - 它只是通过强制使用，因为它被用作另一种类型的版本它的参数存在隐藏。