Type alias Transaction<T, X>

Transaction<T, X>: Variant<{
    do: Do<T, X>;
    error: X;
    ok: T;
}>

Defines result & effect pair, used by provider that wish to return results that have effects.