gcd package:ghc-typelits-extra

Type-level greatest common denominator (GCD). Note that additional equations are provided by the type-checker plugin solver GHC.TypeLits.Extra.Solver.