pub trait Recursive: Level { type Next: Level; }
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.