minigent/examples/1_poly/01-identity/expected.out

id : [x] . x -> x;
id x = x : x;
main : Unit -> U8;
main x = (test[] : U8 -> U8) (3 : U8) : U8;
test : U8 -> U8;
test x = (id[U8] : U8 -> U8) (x : U8) : U8;