type-natural-0.9.0.0: dependencies

Dependencies for type-natural-0.9.0.0

library	base (>=4 && <5) constraints (>=0.3) equational-reasoning (>=0.4.1.1) ghc-typelits-natnormalise (>=0.4) singletons (>=2.2 && <2.8) template-haskell (>=2.8) if impl(ghc>=8.8) singletons-presburger (>=0.4 && <0.5) if impl(ghc>=8.4) ghc-typelits-presburger (>=0.4 && <0.5) else ghc-typelits-presburger (>=0.2 && <0.3)