Own Data Types - Conversion between them and native ones...

How can I instance `Functor` for a type with two parameters?...

Constraint on method depends on instances in scope?...

How to correctly use ambiguous implicits for type negation in Scala...

In Haskell, why are types ambiguous even with AllowAmbiguousTypes enabled?...

Generic way to check if range contains value in Scala...

How to use Numeric[T] to represent zero of any numeric type...

Functor implementation for types with more than one type...

Non type-variable argument in the Constraint: Enum A => Ord A...

resolve an implicit then use the type stored in it to resolve a second implicit...

How to share same method on two different classes in python...

typeclass with constrained params' function...

Why doesn't DefaultSignatures allow concrete types?...

How to specify a typeclass instance?...

Why is this implicit ambiguity behaviour happening?...

Could not find implicit value inside companion object in Scala Worksheet...

Is there something in between Traversable and MonoTraversable?...

How to return wildcard generic?...

Unable to recover typeclass instances for types with kind F[A1, A2] with syntax extensions...

Cats instances for Some and None et al...

Defining an instance for a composite type in Haskell...

How to pass extential type of tuple to invariant generic function?...

Play Framework JSON Fails With Ordering...

Typeclasses methods called in functions with type parameters...

Defining generic type based on method (structural typing)...

Haskell type classes and instances...

Trying to make my typeclass/instance. GHC says "Could not deduce..."...

Typeclass instance not found for generic...

How to resolve implicit lookup by bounded generic?...

Complex ad-hoc polymorphism in Haskell...