Using typeclasses wtih multiple type parameters...

Name of Bi - Functor type class with one contravariant and one covariant parameter...

Haskell - filter typeclass...

If `zip` were a method of a lawful type class, of which then?...

Getting Haskell record fields based on their type...

How (or why) is `Data.Set String` not a single type?...

How can I implement fromJSON on a GADT with custom type class constraints?...

Runtime cost of implicit definitions in Scala's typeclass pattern...

Hide one of the type params of a multi-param typeclass in a function signature...

Tagless final example in Scala requires superfluous second interp arg...

What does `((,) e` mean in Haskell?...

Can not use Show even if type implements it...

Inconsistent results for Data.Set and custom Ord instance...

Is it possible to use typeclasses to change `ReaderT (IO a) IO a` into `ReaderT (i a) IO a`?...

"mayBeMempty" function for a Semigroup...

Difference between OOP interfaces and FP type classes...

using type classes to provide alternative implementations for when using Acid-State...

Derive positional Show...

How do I get 'unpredictable' overloading on a return type working in Haskell?...

Can't write a Show instance for this type...

How to use conversion typeclasses...

Haskell instances under type variable conditions...

Haskell type class "parse error on input instance"...

List Instances for higher-kinded types...

GHC stuck due to UndecidableSuperClasses - expected behaviour or bug?...

Illegal instance declaration in Haskell...

Can't derive Generic for this type?...

Way to have a common function in an instance declaration?...

Type kind error when creating instance of Functor typeclass...

Haskell function with different number of argument...