I've done something terrible.

You can [solve the N-Queens problem in Haskell with type-level programming](https://aphyr.com/posts/342-typing-the-technical-interview).
And [Rust's type system allows for type-level programming](https://sdleffler.github.io/RustTypeSystemTuringComplete/).

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