In "My Little Pony the movie" Twilight Sparkle explains to Celestia and Luna how she wants the Sun and the Moon organized. She uses mathematical formula written on a blackboard. I can't recall what the formula was, probably wavelength calculation.
I liked the text about typeclasses.
It is a standalone piece, "Typeclasses 102" in LYaH is a part of a chapter of a bigger piece.
I think you achieved your goal - your Pokemon example is simple to grasp and shows how to derive type classes and implement functions by hand:)
So animated mouse pointers are OK, blinking cursor in command prompt is OK, Teams starting with the system is OK, but counting seconds is overkill for Windows?
I would probably not display seconds anyway even if I had a choice, but this explanation seems strange.
SV and VHDL are nasty languages, but as you said, they are "industry standard". Chisel and Haskell-based approaches are better but virtually nobody adopts them.
I tried to go in another direction, to make design code shorter by using Clojure syntax. The result is here: https://github.com/m1kal/charbel and works for simple modules. I don't expect wide adoption, but we need to look for new directions instead of sticking to the methods and languages from the 80s.