@hackage / type-level-natural-number-induction

High-level combinators for performing inductive operations.