macro_rules! dyn_sequence {
    [$t:ty | $r:expr => { $(
        $m:ident ($e:expr ) $(@ $i:expr)?;
    )* } ] => { ... };
    [$t:ty => $($e:expr),*] => { ... };
}