eliminators-0.9: dependencies

Dependencies for eliminators-0.9

library	base (>=4.16 && <4.17) extra (>=1.4.2 && <1.8) singleton-nats (>=0.4.2 && <0.5) singletons-base (>=3.1 && <3.2) template-haskell (>=2.18 && <2.19) th-abstraction (>=0.4 && <0.5) th-desugar (>=1.13 && <1.14)