Why is my Semigroup/Monoid instance overlapping?...

how do you do recursion with type classes and data type in Haskell?...

How to derive a Generic.Aux if the case class has a type parameter - Shapeless...

Scala Trait Returning a Sub-type?...

Type system troubles: RankNTypes + Typeclasses...

Matching on a particular type of a parametric type...

What does `import ev._` for implicit evidence mean, and when should I use it?...

Scala 2.13: Case class with extendable variable attributes?...

The Writer monad and its type declaration...

Scala method that needs either one of two implicit parameters...

Can I always replace do ... pure ... with ado ... in ... in Purescript?...

Group TypeClass instances by type parameter...

Using context bounds "negatively" to ensure type class instance is absent from scope...

Use the lowest subtype in a typeclass?...

Default Implementation of Coq typeclass methods...

How to change base class field in functional fashion in scala...

Type class instance for case objects defined in sealed trait...

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

How to organize definition with QuickCheck Arbitrary class in Haskell...

Using a context bound in a class type parameter...

Mimicking Haskell canonicity (one-instance only) of typeclasses in Agda...

Can I discharge a constraint, if I know the class is solvable for all types of a kind?...

Is it common to use the same name for the data type and value constructor in Haskell?...

Is it possible to define my own Show class and reuse instances of TextShow and Prelude.Show?...

Haskell types and typeclasses declaration...

What's the closest thing to Haskell's typeclasses in OCaml?...

Implicit categories in type class resolution...

Reference inferred type in multi parameter type classes...

Adding class constraints to typeclass instance...

Avoid `undefined` when using `TypeError` in type-class constraint...