structural-induction (hackage): SII: Structural Induction Instantiator over any strictly-positive algebraic data type.
Keywords: lgpl|library|logic|theorem-provers