Type-level bounded recursion in Rust