Rust: параметризуем мутабельность через маркеры и зависимые типы