The `specialize` tatic in Coq does not work well with typeclasses?...

Why does Cabal, unlike GHC, not automatically enable GeneralizedNewtypeDeriving if I explicitly enab...

Scala avro4s, define SchemaFor for common trait?...

Implement a type in Python, for functions in a module (not class)?...

Why does Data.Dynamic contain a witness instead of a typeclass constraint?...

How do you define a type class for a union of types?...

Is there a typeclass that changes the shape of a hierarchy?...

GHC not deriving typeclass instances based on input type...

Making a function an instance of functor...

Why do instances in PureScript have names?...

How Can One Express the Fact that `()` is a Subset of All Other (Non-`Void`) Types in Haskell?...

Expressing multi-parameter typeclasses in terms of single-parameter ones...

Caching an expensive to compute result in a class instance...

Expressing a typeclass with associated types and constants?...

How to write an implicit Numeric for a tuple...

Can you not to export an instance in Haskell?...

In scala property based tests for tagless final with variable inerpreter...

Shapeless3 and annotations...

Tuples in Scala 3 Compiler Operations for Typeclass Derivation...

No implicit Ordering defined for ord...

Find instances for arbitrary type expression...

Haskell: Overlapping instances...

Choose a typeclass based on return type...

In Scala 2 or 3, is there a higher kind argument extractor without using match type?...

correct setup for opaque type with underlying Numeric/Ordering instances...

Scala: implicit type transformation with condition on value...

Dynamically overriding typeclass methods...

Is it possible to disambiguate instances with an intermediate step?...

Why can't I return a concrete type in a function that has a polymorphic return type?...

Shapeless - How to derive LabelledGeneric for Coproduct...