I am looking for examples of business use cases for GADTs.
I understand that GADTs are a perfect match for small DSLs and their respective evaluators.
I know they can be used to encode run time type information (even thou this is much less clear to me).
But apart from this link (http://engineering.issuu.com/2015/09/17/gadt-practicalities.html) I have not found anything that describes GADTs in a more business like context.
So please share your application of GADTs in this context if you have (or links or whatever).