eliminators-0.7: dependencies

Dependencies for eliminators-0.7

library	base (>=4.14 && <4.15) extra (>=1.4.2 && <1.8) singleton-nats (>=0.4.2 && <0.5) singletons (>=2.7 && <2.8) template-haskell (>=2.16 && <2.17) th-abstraction (>=0.3 && <0.5) th-desugar (>=1.11 && <1.12)