I was trying to think up a cool use for ChatGPT for coding, and the idea of generics kept coming up. Sure, I can make some neat demos of that later but what I really need is a way to define invariants or things that don't change. First steps in Playground and key lessons