fn fmt_instance(
    f: &mut Formatter<'_>,
    instance: &Instance<'_>,
    type_length: Limit
) -> Result