Dependencies for type-level-natural-number-induction-1.0.0.1

library