eff
macro_rules! Coproduct { () => { ... }; (: $tail:ty) => { ... }; ($head:ty $(,$tail:ty)* $(,)?) => { ... }; ($head:ty $(,$middle:ty)* : $tail:ty) => { ... }; }
A coproduct type of effects