minigent/examples/2_abstract/04-nested/in.minigent

pack : [a]. a -> Box a;
unpack : [a]. Box a -> a;

test : [a]. a -> a;
test x = unpack (unpack (pack (pack x)));