Overview of generalized algebraic data types in OCaml

The introduction of generalized algebraic data types (GADTs) extend algebraic datatypes by allowing type constructor abstraction and polymorphism, which results in numerous applications like embedding domain-specific languages, generic programming, dependently-typed programming and implementing typed intermediate languages. In this project, I look into various applications of GADTs in order to understand its usage and benefits. We also mention our experience while using them in practice.