A go on parameterized inductive types
Code for ppdp submission