finished Apply, Bind, Functor, List
finished the GADT exercise
added the TicTacToe example
more interesting version of the GADT example where keys have values
got a version of move which checks if the game is finished or not using GADTs