Instance of fake IO typeclass is found in production code but not in testing...

Why doesn't my type class satisfy the functional dependency?...

How would I equate a character to my type parameter in Haskell?...

How do I have the scala compiler infer one type from another?...

How do I overload a certain operator in haskell to take different types on either side?...

How can I use contradictory evidence?...

Function to ensure your value is wrapped in a Maybe...

Scala: checking if an object is Numeric...

Wrong Typeclass Instance used in Coq Proof...

How do you use the Bounded typeclass in Haskell to define a type with a floating point range?...

Using `opaque type` as a typeclass in Scala...

givens / implicits for Scala 3 Union Types...

How to write a Haskell function that can call "getField @k" on "obj" as well as ...

Error in Haskell call to equation with expected type...

Why I can´t pattern match in Haskell Typeclass?...

When trying to convert a Map to scala objects using Shapeless, Coproduct derivatives are not picked ...

How to check from the REPL that a given constraint is satisfied?...

Custom `Read` instance fails when type is wrapped in Max, but derived instance works - What's wr...

Stack overflow in typeclass with implicit conversion...

How is the Foldable instance of (,) useful?...

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?...

What is `F` in `F[_]: Sync` and where does it come from?...

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...