being overwhelmed by: correct formatting for the REPL, producing types translating across 3 languages with diff reading orders. Pretty impressive. Note: this is Copilot, not GPT3, not ChatGPT. To have such a flexible lang environment for real, would be really neat.