I don't even know where to begin here... Using Haskell, the one language where you really DESIGN by types and use your brain and then using LLMs....