Question

例如（来自purescript-halogen）：

data Slot (query :: Type -> Type) output slot

那是在声明无人居住的类型吗？（如果是这样，我认为它将专门用作幻像类型。）

Answer 1

它可能应该是foreign data而不是data，因为它是有人居住的-尽管它只能通过强制使用，因为它被用作另一种类型的版本，其中有些参数已隐藏。