macro_rules! recurrence {
    ( a[n]: $sty:ty = ($($inits:expr),+) ... $recur:expr) => {
        /* ... */
    };
}