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