Is it possible to write a function Int -> NatSing n, where NatSing is a singleton type of peano n...

Tail function for "safe list" using GADTs...

How do I code this dependently-typed example in Haskell?...

Deconstructing a GADT: Where am I losing the context?...

Haskell: Overlapping instances of pair with same pair specialization...

Applicative Instance for (Monad m, Monoid o) => m o?...

Lowering functions to an embedded language...

Pattern Matching on GADTs...

Trying to develop a recursive type-level function to derive function input and output...

How would one create a proper polymorphic Functor instance failing on unsafeVacuous?...

Pipe with dynamic request/response type?...

How to make catamorphisms work with parameterized/indexed types?...

Enumeration of GADTs in Haskell...

Haskell Inaccessible code bug?...

Ambiguous type for polymorphic function members of driver GADT...

Defining Eq instance for Haskell GADTs...

Polymorphism scenario in Haskell...

Transform a GADT without constraints to another GADT with constraints when such constraints hold...

How can I get GHC to generate instances of Data.Typeable for GADTs with Typeable in the context?...

Using GADT in exception handling...

How can I model a tree data structure with restrictions on where each kind of node can appear?...

Recursive replace in a GADT...

When were GADTs introduced in GHC?...

Static Guarantee on Key/Value Relationships in Data.Map...

How can I define a Lispy datatype in Haskell?...

Trouble with DataKinds...

haskell GADTs constructor...

Explanation of untyped terms...

Why does GHC not terminate with this GADT template Haskell module?...

How to use functional dependencies and existential quantification to remove an unnecessary parameter...