minigent/examples/6_recursive/03-non-strictly-positive/in.minigent

listop : Unit -> rec t { f : (t -> U8) };
listop a = { f = End Unit };