There are several ways we can use do-notation with Variant as we would with
Either to handle errors in control-flow for instance.
We recommend the :ref:`FlowT approach <variant_do_notation_flowt>` as it doesn't
RebindableSyntax extension and it is the most concise/expressive
.. toctree:: :maxdepth: 1 do_notation/flowt do_notation/either do_notation/rebindable_syntax