eliminators-0.5: dependencies

Dependencies for eliminators-0.5

library	base (>=4.12 && <4.13) extra (>=1.4.2 && <1.7) singleton-nats (>=0.4.2 && <0.5) singletons (>=2.5 && <2.6) template-haskell (>=2.14 && <2.15) th-abstraction (>=0.2.3 && <0.3) th-desugar (>=1.9 && <1.10)