没有构造函数的Purescript `data`类型是什么意思？

Question

例如(来自purescript-halogen)：

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

这是在声明一个无人居住的类型吗？(如果是这样的话，我假设它只作为一个幻影类型有用。)

Answer 1

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