pub fn show_arrayed_identifier<F>(f: &mut F, a: &ArrayedIdentifier)where
    F: Write,