Hi everyone! 
My name is Max, I’ve been using OCaml for a while during my years at Bloomberg and at some moment decided to dig a little bit into GADTs. I found couple of use cases for them and decided to write down one in detail:
I hope it would help newcomers to find application for GADTs in their projects.
Huge thanks to @chshersh for reviewing this blog post!
Enjoy and let me know what you think in the comments!