pub fn debug_bound_var<T>(
    fmt: &mut T,
    debruijn: DebruijnIndex,
    var: impl Debug
) -> Result<(), Error>
where T: Write,