Data families vs Injective type families...

Strange interaction between type families and incoherent instances...

Constrain a type family constraint to be "some pair"...

Type reduction infinite loop...

Types don't unify using a type class and a type family...

How to use integer literals and arithmetic within Haskell data kinds...

Constraining instances...

What can type families do that multi param type classes and functional dependencies cannot...

Constraints in type family instances...

type families and deriving instances (Eq)...

Associated type family fails, works when made standalone...

Type-level constraints in instances of type families...

inferring type class constraint when using associated type families...

Ambiguous type with type families...

Missing instance of MonadReader...

Haskell combine multiple typeclass constraints...

Problems with EDSL related implementation of array subscription in Haskell...

Replacing singleton data types with a data family...

Type families causes ambiguous variable error...

Type ambiguity in Haskell type families...

ghc 7.10.2 type families extension doesn't work...

How to create a "kind class" in Haskell, or ad-hoc polymorphism at the type-level using ty...

How to auto derive FromJSON using Template Haskell, Aeson, and type families...

What are nonlinear patterns...

Data type that's promotable to the kind level with only one value...

Is there a way to get a compile-time error if there's no matching closed type family instance?...

How to write the related functions for this GHC type families example?...

Why compiler couldn't match type 'a==a' with '`True' for type family?...

Cannot understand why MonoFoldable for my type doesn't compile, or the error message...

Pattern match on functions on the type level is possible, but not on the value level, why is this di...