Attempt at tic-tac-toe at the type level.