Georgi Krastev

No specifics yet, but basically generating `Gen` and `Cogen` for a datatype is a solved problem. We can use those to call Tapir endpoints for automated tests. Just an idea...

This is taken from the tests: ```scala sealed trait EnumVal val BarA = new EnumVal { val name = "A" } val BarB = new EnumVal { val name =...

Figure out what to do with multiple parameter lists (esp. implicits) in Generic

2

```scala case class Ord1[A: Ordering](value: A) class Ord2[A: Ordering](val value: A) Generic[Ord1] // works Generic[Ord2] // doesn't work ```

Support @implicitNotFound errors

3

Magnolia has pretty good missing implicit errors. However custom `@implicitNotFound` messages defined by users are swallowed. This came up on Gitter.

Is my data recursive?

1

I have a type class `Schema[A]` and two variants: `FlatSchema[A]` and `RecursiveSchema[A]` with the obvious semantics. Except that `FlatSchema` is more efficient and supports more operations. Can I make the...

Structural decomposition leads to endless loop

2

Here's some food for thought: ```scala // Adapted from [Okasaki 1996] sealed trait LSeq[+A] case object LNil extends LSeq[Nothing] case class LCons[+A](head: A, tail: LSeq[(A, A)]) extends LSeq[A] Show.gen[LSeq[Int]].show(LCons(1, LCons(2...

Derivation with "exists" semantics

3

What I mean is what if to create a type class for the whole case class / sealed trait I only need the instance for one field / subtype (or...

Also add `Endpoint.output` constructor and reuse it. Convert some instances to SAM syntax.

Closes #808 - I didn't add the `validated` method, because it's nothing more than `mapAsync(validator(_).liftTo[F])` now that we have removed `RequestItem`

Controlled by a flag in `Bootstrap` similar to other response codes. Returns 406 when enabled and no matching Accept header is found. Refactors `ToResponse.Negotiable` to achieve this effect: - Value...