Who says that games should have a runtime? Here's a game that requires no runtime whatsoever, you play it by writing source code! If it compiles, you've made a legal move, if you can ask for a winner, you have one and you can find out who it is!
This is just a demonstration to see what you can do when you use something as powerful as Type projections and Union types. Of course the downside of it all is that Type projections will make any type system unsound! So take any of this with a grain of salt, and focus on the entertainment value of playing a game completely at compile time, without resorting to macros or anything like that.
Enjoy.