This answer reminds me of the blog post of the guy asked to implement a linked list iirc during an interview, and he does it all in Haskell's type system.

https://aphyr.com/posts/342-typing-the-technical-interview

Oh it was N queens, but the line I remembered was "Summon a linked list from the void."