What does GADT offer that cannot be done with OOP and generics?...

Pretty printing with free monads and GADTs...

GADTs for Representing Function Application with Multiple Parameters (AST)...

Haskell: Heterogeneous list for data with phantom variable...

List of any `DataKind` in GADT...

Trouble refactoring current types(possibly GADT/Type Families related)...

return type of GADT evaluator...

HList with DataKinds, kind not promotable...

Prove that a constraint holds for a component of a product from the fact it holds for the product...

Haskell type family applications are not evaluated...

Simplifying a GADT with Uniplate...

How can holes and contexts be implemented for higher-kinded types in a lens style uniplate library?...

Equality of De Bruijn-indexed variables in a GADT...

GADT vs Existentially quantified types (*forall*)...

Creating (getting) a value instance from a phantom type...

does this GADT actually have type role representational...

GADTs: Difference between 'Algebraic' and 'Abstract'?...

Tagging a string with corresponding symbol...

Implementing a type class using a GADT...

Implicit Arguments and Type Families...

Building values dynamically with GADTs using Data Kinds...

How can I use restricted constraints with GADTs?...

Can't deduce f = f₁ from f x = f₁ y?...

Can GADTs (or existentials) without constraints be compiled as tight as untyped ordinary ADTs?...

Is nested pair a good idea in Haskell...

How would you abstract away the boilerplate in this pair of "similar shaped" datatypes...

How do you formulate n-ary product and sum types in this typed lambda calculus universe?...

GADT definition...

Can't properly define transformation from universal type, that defined with GADT...

Enabling "-fno-warn-" for Inaccessible code in GADTs...