{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"ParamKind::Type"}]}
            ParamKind::Type => BoundVar::new(debruijn, idx).to_ty(Interner).cast(Interner),
        let filler = (starting_from..).zip(other).map(|(idx, kind)| match kind {
            ParamKind::Const(ty) => {