test for membership in Scala type class...

Overlapping instances in Haskell when I'd expect it not to overlap due to constraints...

Cats auto derived with Seq...

Something like Haskell's MultiParamTypeClasses...

Type pattern matching and inference error in Scala 3...

Cannot find or construct a Read instance for type: Option[A]...

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

Can we define a class of function definitions in Haskell?...

Does the Scala 3 library have a Show typeclass that works with `derives`?...

Using return type polymorphism dictated by type classes...

How many dictionaries/parameters for method overloadings?...

How are QuantifiedConstraints translated into dictionary passing style?...

Haskell - why am I getting Not in scope: data constructor ‘ZipList’ error...

Constructor Class/Functor for a constrained element type?...

Creating a typeclass in Haskell but getting "ambiguos occurence" error...

Why does this nested typeclass derivation work?...

Error when making an instance of Eq typeclass in Haskell...

Overlapping instances with Generic-related code...

Compile error with Tagged Type and Play Json Format typeclass derivation...

Typeclass resolution in Haskell reporting ambiguity even if there is only one instance...

Overloading Show and Num in typeclass makes execution hang indefinitely...

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

Could not find implicit value for parameter Mapper...

Use named instances for other instances...

Why is import cats.implicits._ no longer necessary for importing type class instances?...

Haskell TypeClasses - Override superclass function...

Scala 2 macro type class derivation for `Coder[P <: Product]` ends with error `P does not take pa...

is "implictly" in scala now deprecated or at least not required anymore?...

Haskell - custom operator for multi-parameter type class?...

Typeclasses vs. functions?...