eliminators-0.6: dependencies

Dependencies for eliminators-0.6

library	base (>=4.13 && <4.14) extra (>=1.4.2 && <1.8) singleton-nats (>=0.4.2 && <0.5) singletons (>=2.6 && <2.7) template-haskell (>=2.15 && <2.16) th-abstraction (>=0.3 && <0.4) th-desugar (>=1.10 && <1.11)