haskell - 为除一种特定类型之外的所有类生成一个实例

Question

是否可以做类似的事情

class T a
class U a
instance U ()
instance ( NOT U a ) => T a

上下文:我正在尝试编写一个采用 HLists 的函数并删除某种类型的元素(这里是单元类型)。

我觉得开放世界假设可能存在一些问题，但即使能够以硬编码的方式(而不是 NOT U a ，类似 NOT a~() 之类的东西)也应该是可能的。

编辑:正如 C.A. 在评论中指出的那样。麦克曼， this问题几乎与我的完全相同。如果版主想关闭这个，请随意。

Answer 1

您可以使用 Oleg 的技巧来做到这一点，它甚至有自己的库 on hackage
通过严重滥用类型类系统，可以生成一个fundep

class TypeEq a b result | a b -> result

这样 TypeEq a b True仅当 a~b , 和 TypeEq a b False否则
所以你可以写

instance (TypeEq () a False) => T a

我认为这应该可行。我应该清楚，这种类型的相等性测试在实现方式上是纯粹的邪恶，但它确实有效。如果您想了解它是如何工作/概括它的，请查看该库的代码(另请阅读 HList 论文)。
如果完全有可能在没有负面约束的情况下做你想做的事，那就去做吧。