minigent/examples/6_recursive/05-strictly-positive-allowed/expected.out

id : rec t {l : <End Unit|Rest {a : U8,b : rec t}>}
     -> rec t {l : <End Unit|Rest {a : U8,b : rec t}>};
id a = a : rec t {l : <End Unit|Rest {a : U8,b : rec t}>};