I made this simple state machine combinator library today. I think it works as a simple example of a good use for GADTs.
https://gist.github.com/1507107 Daniel _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe