type-natural-0.0.1.0: dependencies

Dependencies for type-natural-0.0.1.0

library	base (>=4.6 && <4.7) equational-reasoning (>=0.0 && <0.1) singletons (>=0.8 && <0.9)