Macro eff::Coproduct

macro_rules! Coproduct {
    () => { ... };
    (: $tail:ty) => { ... };
    ($head:ty $(,$tail:ty)* $(,)?) => { ... };
    ($head:ty $(,$middle:ty)* : $tail:ty) => { ... };
}

A coproduct type of effects