ghc-typelits-presburger <0.2.0.1 || >0.2.0.1 && <0.2.0.2 || >0.2.0.2 && <0.7.0.0 || >0.7.0.0