GADT example

https://gist.github.com/markhibberd/fcad2c2b727169e2fb5b
TicTacToe part 1