Deriving `Eq` for a data type based on a type family in Haskell...

What is this `deriving newtype` syntax?...

Deriving newtype recursively like functionality...

Haskell: Get data constructor name as string...

Use the lowest subtype in a typeclass?...

Derive typeclass instances for opaque types in Scala 3...

Why is there no `-XDeriveApplicative` extension?...

Deriving Read in Haskell: Why do I have to use the contructor's parameter names?...

How to use deriving Show() in mutually recursive types?...

Alternative of Show that only uses name...

Problem when deriving Eq from data type with function as field in Haskell...

Can I use DerivingVia to derive instances for data types isomorphic to tuples...

Using "deriving via" with a type family...

Deriving a class instance for a type based on another class it's an instance of...

Is there syntax for creating [Maybe a] analog, but of kind (* -> *)...

Deriving Eq and Show for an ADT that contains fields that can't have Eq or Show...

How can I automatically derive Typeable instance for DataKinds derived types?...

Encoding a choice of monad transformers...

defining new monad instance...

Is it possible to establish Coercible instances between custom types and standard library ones?...

Using custom instance when deriving an instance via GeneralizedNewtypeDeriving...

Deriving Via: Cannot derive well-kinded instance...

Why there is no way to derive Applicative Functors in Haskell?...

How can I coerce constraints?...

Avoiding repeated instance declarations in Haskell...

Wrap a type in newtype...

Using Deriving Via with Phantom Types...

Is it possible to provide default instances of some type class X for my type class Y?...

Deriving Via With Standalone Deriving...

Haskell DerivingVia on multi param type classes with fun deps...