Type8Queens

8 queens logic problem, implemented in the TypeScript type system

const badGame: Game = null!
badGame.a1.b3.c5.d2.e4.board
['♛　　　　　　　']
['　　　♛　　　　']
['　♛　　　　　　']
['　　　　♛　　　']
['　　♛　　　　　']
['　　　　　　　　']
['　　　　　　　　']
['　　　　　　　　']

const goodGame: Game = null!;
goodGame.a2.b4.c6.d8.e3.f1.g7.h5.board
["　　　　　♛　　"]
["♛　　　　　　　"]
["　　　　♛　　　"]
["　♛　　　　　　"]
["　　　　　　　♛"]
["　　♛　　　　　"]
["　　　　　　♛　"]
["　　　♛　　　　"]
.win;