pub fn show_type_name<F>(f: &mut F, t: &TypeName)where
    F: Write,