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. http

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 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."