Singletons, type families, and existential types for a FromJSON instance...

How can I perform a scatter/gather operation on types in Haskell?...

Underscore for existential type in Scala...

Generating an Existential type with QuickCheck?...

Wrapping / Unwrapping Universally Quantified Types...

Does it make sense to return an existential type?...

Scala method type parameter can not accept existential type in forSome form...

How to create typeclass with HList existential member...

How attoparsec can return values of different types?...

Mapping between existential types...

How to correctly qualify types for working with the random monads...

Types and generics: difference between `[X <: Int]` and `{type X <: Int }`...

Difference between Scala's existential types and Java's wildcard by example?...

Scala existentials placeholder translation for M[_,_] where M[X,Y <: N[X]]...

Haskell: Type (without boilerplate) for a heterogeneous list of String and/or [String]?...

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

Is it possible to have forgetful type synonyms in Haskell?...

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

Trait runtime type of type parameter through TypeTag when used with Existential type in Scala...

Difference between modules and existentials...

Existential types for F-Bounded Polymorphic types and non-generic subtypes?...

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

universal and existential quantifier in prolog...

Is there a way to expand the scope of an existential type quantifier in Scala to convince the type c...

Translate/encode Haskell's `data Obj = forall a. (Show a) => Obj a` in Scala...

How to express this type in Scala? Existential with type class (ie, implicit) restriction?...

How to use Linear.V to write static type checked matrix operations (Haskell)?...

Haskell - constructing a type that uses existential quantification...

Difference between def m(p: T forSome {type T} and def m1(p:Any), is there any ? Explanation needed ...

Resolving a Function Call in an Existential Type...