Asserting that typeclass holds for all results of type family application...

Example on the use of backpack...

DeriveAnyClass vs Empty Instance...

Declare a type to for all higher order kind...

Why is this injective type family not actually injective?...

Find match a parametric parameter...

What is associated data type in haskell?...

Polymorphic type family instance in Haskell...

Kind ambiguity when using PolyKinds and type families...

Expressing infinite kinds...

GHC stuck due to UndecidableSuperClasses - expected behaviour or bug?...

Why can't I use the Constraint kind in type family declarations?...

Can I select an instance without resorting to TypeApplications?...

meaning of "type" declaration in a typeclass declaration...

Is it possible to define variadic-kinded data types?...

Proving a type inequality to GHC...

How do I apply inductive reasoning to `GHC.TypeLits.Nat`?...

Writing classy lenses for records with type families?...

How can I move this instance method definition to class default?...

How to derive generic traversals that involve a type family...

Enrich constraint solver with own proofs...

Can I filter a type level list based on availability of a certain class?...

Haskell type instance failed to resolve...

YesodAuthEmail could not deduce m ~ HandlerFor site0...

Defining arity-generic lift...

Type Family as Argument to Type Synonym...

Associated type family complains about `pred :: T a -> Bool` with "NB: ‘T’ is a type functio...

Can I drop the type instantiation from an instance of a class with an associated type family?...

working with proofs involving CmpNat and singletons in Haskell...

Type Family returning (a -> Type)...