Extending a class with a type constructor...

Using a type constructor in a type refinement...

Is there a way to polymorphically lift instances of a class with a monad type variable, without over...

Implementing a typeclass using type parameters versus abstract types...

Witness that an abstract type implements a typeclass...

Is there anyway, in Scala, to get the Singleton type of something from the more general type?...

How to define an typeclass instance in Purescript without redundant methods...

Defining a monoid instance for a record type...

scala type bounds and variance...

Setting abstract type based on typeclass...

Lift instance of class with a `MonadIO` type-variable to the transformed monad...

How to handle Option with an encoder typeclass in scala...

Extension vs infix trait methods for Dotty Type Classes...

How does given keyword work in Scala 3 or dotty?...

How to make a typeclass works with an heterogenous List in scala...

java.lang.NoSuchFieldError when using ScalaTest...

What is the correct way to use typeclass syntax when you have a typeclass within a typeclass?...

Elimination by `TypeError` constraint...

Implicit view not working - is my implicit def to blame?...

Why are Monoidal and Applicative laws telling us the same thing?...

Returning a value from a method which must implement a typeclass...

Typeclass constraint in typeclass generic...

How to add a new function to an exsiting Type class in Haskell?...

Where is .. defined?...

Covariance between 3 types in Scala...

Scala: `ambigious implicit values` but the right value is not event found...

Associate a non-type-class function with a type in Haskell...

Constraining type parameters on case classes and traits...

Associate a function with a type in Haskell...

What are algebraic structures in functional programming?...