I've done something terrible.

You can solve the N-Queens problem in Haskell with type-level programming. And Rust's type system allows for type-level programming.

So what if you solved the N-Queens problem in Rust with type-level programming?