为什么这段代码使用UndecidableInstances进行编

为什么这段代码使用UndecidableInstances进行编