GADT

English Pronunciation en iː 4 Noun en programming en w:generalized algebraic data type. en 2022 Anil Madhavapeddy; Yaron Minsky Real World OCaml: Functional Programming for the Masses Cambridge University Press https://books.google.com/books?id=tcuPEAAAQBAJ&pg=PT183&dq=%22GADTs%22&hl=&cd=1&source=gbs_api#v=onepage&q=%22GADTs%22&f=false 9781009313582 Generalized Algebraic Data Types, or GADTs for short, are an extension of the variants we saw in Chapter 7 (Variants). GADTs are more expressive than regular variants, which helps you create types that more precisely match the shape of the program you want to write.