Like so many other people I've been playing with ChatGPT. It seems to understand code well, but I wondered if it could be taught something really esoteric: type level coding in Scala. It takes a few tries but I convince it this is possible.