enabling TypeFamilies makes the code not build anymore...

Haskell functional dependency a b -> c depending on c?...

Validation at type level...

Using Data.Constraint.Forall with equality constraints...

HList with DataKinds, kind not promotable...

ghc-mod expecting MonadBaseControl to have `StM` associated newtype instead of `StT` associated type...

Haskell type classes hierarchy...

Overlapping instances error when trying to write fallback instance...

more efficient type-level computations using type families?...

class constraint in data kind definition...

Untouchable types when specializing an unused type variable...

Closed type families and strange function types...

Why are these family instance declarations conflicting?...

Inverting a Type Family...

OCaml functors (parametrized modules) emulation in Haskell...

How can I make a typeclass to represent containers containing extractable `Num` instance types?...

Understanding the casts involved in patterns matching a datatype that is indexed over a user defined...

Haskell type family applications are not evaluated...

Nominal type roles and data families...

Polymorphic function inside a type family...

Type class constraint on type family instances...

Uncurry for n-ary functions...

Folding recursive type family...

Use type synonym in type declaration mapping...

Pattern matching inside closed type families...

Why does introducing associated types kill my performance?...

Using Type Families to avoiding explicit type class parameters in MPTCs...

Mapping a Dependent Type over a List of Types...

How do you properly construct an Accelerate array using fromPtr in Haskell?...

Is it possible to introduce additional type variables into a superclass-constraint?...