Например (из purescript-halogen):
data Slot (query :: Type -> Type) output slot
Это объявление необитаемого типа?(Если это так, я предполагаю, что это будет полезно исключительно как фантомный тип.)
Вероятно, это должен быть foreign data, а не просто data, так как этот обитаем - он используется только посредством принуждения, так как он используется как версия другого типа с некоторыми из его параметров, экзистенциально скрытыми.
foreign data
data