Haskell independently deciding to infer Bifunctor for my datatype?...

Applying recursive operation on a case class in Scala...

Misconception on Type Classes and variable assignment in Haskell...

Can I use type annotations of class to make decision about result type of method of the class?...

Haskell type class hierarchy in Java...

Scala type class to extend generic type: No implicits found for parameter...

Can a scala type class have abstract type members?...

Is it possible to enforce a type constraint on a class instance for a higher-kinded type?...

Why does GHC not parse functor instance for 'data Wrap f a = Wrap (f a)'?...

Purescript Union of Rows...

(Data.Monoid) - Sum and Product deriving Bounded and Num at the same time?...

Type-variable-dependent default method implementation in Haskell...

typeclasses without methods, used as constraints: do they get dictionaries?...

Summon Aux for higher-kinded type without reference to the original...

Quickchecking with a typeclass constraint and reporting the generated values?...

Scala for-comprehension with Option and Some, wrapped by ReaderT...

Scala: Abstracting the toString function of case classes...

Compiler doesn't pick up typeclass for the polymorphic constant value...

Using a quantified type equality constraint from the instance constraints...

Add type variable to newtype definition...

How to view the generated code for derived instances / deriving in Haskell...

Haskell instance of typeclass definition with type constructor...

Why does Scala Cats use typeclasses instead of inheritance?...

Scala implicit def returning A with B...

How constraints in the context change instance resolution in Haskell...

Scala Typeclass for methods with parameters...

Why is (a, a) not a functor?...

Hiding typeclass instance declarations while importing in Haskell...

How to define a bipartite graph in Haskell...

How is the Floating typeclass different from Double?...