structural-induction-0.2.0.1: Instantiate structural induction schemas for algebraic data types
Index