minigent/examples/6_recursive/12-alpha-equivalent-recpars/in.minigent

f : rec t { l: < Zero Unit | Succ t > } -> rec k { l: < Zero Unit | Succ k > };
f peano = peano;