Idris parser combinator GADT...

How to resolve ambiguity in my GADTs...

Ensuring correctness of data...

Data type without input value and multiple primitive types...

Scala GADT instance Functor...

Heterogeneous List for a DSL...

Hiding a State monad's s type parameter...

How to specify the type for a heterogenous collection in a GADT formulated AST?...

Inferring general typeclass instance from a series of smaller ones?...

Name a functor of functor...

Haskell can't figure out types from GADT constructor...

Vector containing GADT...

Elegant typing solution desired, typing of one parameter is a function of another...

GADT in polymorphic function...

Modular Arithmetic using Haskell Type-Families or GADTs?...

Recreating Lisp's `apply` in Haskell using GADTs...

Using record update syntax with constrained GADT records...

How to pattern match on a GADT in Bigarray?...

Rank-2 types in data constructors...

Why won't GHC reduce my type family?...

Rank N types in let bindings...

Converting an untyped AST for a simple typed language into a GADT...

How to define Eq instance of List without GADTs or Datatype Contexts...

Creating GADT expression in OCaml...

GHC complains about non-exhaustive patterns that are enforced by the type checker...

Converting GADT to phantom types...

Can I coerce an existentially quantified argument in a type constructor?...

Existentially quantified type parameter, recursive function and type error...

How do I restrict the types in a heterogenous list?...

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