minigent/examples/6_recursive/04-harder-non-strictly-positive/in.minigent

listop : Unit -> 
    rec t { 
        f : < Left U8 
            | Midde Unit 
            | Right { 
                a : U64, 
                b: (((U8 -> t) -> U8) -> Unit)
            } 
        >
    };

listop a = { f = Middle Unit };