minigent/examples/1_poly/01-identity/in.minigent

id : [x]. x -> x;
id x = x;

test : U8 -> U8;
test x = id x;

main : Unit -> U8;
main x = test 3;