Typeclass instance with row type in instance head?
named implementation to default implementation
Is there a type class for singleton Apply[A]
How to declare “free” instance of type class?
Existing constants (e.g. constructors) in type class instantiations
Type classes, instances and wrappers
Coq: typeclasses vs dependent records
Use named instances for other instances
How to reference type class-polymorphic variables in a theorem type?
Multiple Typeclass Inheritance in Coq
Inheriting Typeclasses of different Kinds in Coq
Type classes in Nim
Coq: unfolding class instances
Rust: using traits/typeclasses to implement a generic numeric function
polymorphic instances for typeclasses in Mercury language
What is the effect of type synonyms on instances of type classes? What does the TypeSynonymInstances pragma in GHC do?