a go on parameterized inductive types