ghc-typelits-natnormalise:标准化GHC.TypeLits.Nat方程

ghc-typelits-natnormalise 甲类型检查器插件GHC，可以解决的类型种等式和不等式Nat ，其中这些类型要么： 类型级自然 类型变量 算术表达式(+,-,*,^) 。 它通过将它们标准化为SOP （产品总和）形式来解决这些相等问题，然后执行简单的句法相等问题。 例如，此求解器可以证明以下两者之间的相等性： (x + 2)^(y + 2) 和 4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2 因为后者实际上是前者的SOP正常形式。 要使用该插件，请添加 {-# OPTIONS_GHC -fplugin GHC.TypeLits.Normalise #-} 到文件的标题。