Type-safe tic-tac-toe using Typesafe programming in Haskell - View it on GitHub