I'm curious: is there any real-world use of GADTs, other than in PL
itself?  I mean, writing interpreters, compilers, and such?  Any non-PL use?

Again, not trying to start a flame-war -- just *curious*.

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs