type-natural-0.8.3.1: dependencies

Dependencies for type-natural-0.8.3.1

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