pub fn show_fully_specified_type<F>(f: &mut F, t: &FullySpecifiedType)where
    F: Write,