Actually I think this illustrates what is wrong in the idea of AI-generated code. If you feel uneasy about AI-generated binary code ("I want to be able to debu

Actually I think this illustrates what is wrong in the idea of AI-generated code. If you feel uneasy about AI-generated binary code ("I want to be able to debug it if something goes wrong!") you should feel equally-uneasy about AI-generated high-level language. The changes that it'll be broken in subtle ways are likely to be very similar, and I don't see good reason to believe that debugging AI-generated Haskell is going to be that much easier than debugging AI-generated executables.