macro_rules! type_annotations {
    (mut) => { ... };
    () => { ... };
}