Haskell 使用标注tf的自定义标注

我将

dimensional

与自定义单位（'Numerics.units.dimensional.Extensible'）一起使用。然而，它是基于函数依赖性的，我遇到了

不可判定的实例

问题。我可以使用

dimensional tf

解决我的问题，它使用类型族而不是函数依赖。 但是，我没有发现任何与

dimension tf

中的

Extensible

等价的东西。因为它还没有实施，或者只是没有必要。如果是这种情况，我如何在

维度tf

中定义用户定义的单位？

使用

类型族

，它似乎支持自定义单位。但该库中仍然有大量的

不可判定实例

（可能还有用户代码），因此它并不能真正回答您的问题。