minigent/examples/4_variants/04-double-take/in.minigent

foo : < A U8 | B U8 > -> U8;
foo v = case v of 
          A n -> n
        | r -> case r of 
               A n -> n
              | r -> case r of 
                     B n -> n
                     end
              end
         end;