Macro typsy::CoProd

macro_rules! CoProd {
    () => { ... };
    (, @$last:ty) => { ... };
    ($first:ty $(, $rest:ty)* $(, @$last:ty)* $(,)?) => { ... };
}