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

Deriving newtype recursively like functionality...

Haskell: Overlapping instances...

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

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

Overlapping instances that don't seem to overlap...

How to define overlappable depending instances?...

Unable to coerce during `DerivingVia` when using optics types like `Prism'`...

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

Coercing when Rep only equal after deeply evaluating type representations...

deriving implementation in OCaml...

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

How do I make a container for a double a Semigroup?...

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

Why does this expression have a valid type?...

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...

Encoding a choice of monad transformers...

defining new monad instance...

How to convert a custom type to an Integer in Haskell?...

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

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

Would it be possible to derive Data.Vector.Unbox via GHC's generic deriving?...

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?...