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

Why do instances in PureScript have names?...

How Can One Express the Fact that `()` is a Subset of All Other (Non-`Void`) Types in Haskell?...

Expressing multi-parameter typeclasses in terms of single-parameter ones...

Caching an expensive to compute result in a class instance...

Expressing a typeclass with associated types and constants?...

How to write an implicit Numeric for a tuple...

Can you not to export an instance in Haskell?...

In scala property based tests for tagless final with variable inerpreter...

Shapeless3 and annotations...