cats

We sometimes have data types which subtype Ordered and other times have types which implement Ordering. We only need to do Ordering. We should ensure that all types which are Ordered also have an Ordering instance.

Context: http4s/http4s#5013 (comment)

full example from https://github.com/tpolecat/skunk/blob/v0.0.24/modules/docs/src/main/paradox/tutorial/Command.md
gives following compile errors

skunk-world/src/main/scala/CommandExample.scala:42:34
not found: type *
  def fromSession[F[_] : Bracket[*[_], Throwable]](s: Session[F]): PetService[F] =

skunk-world/src/main/scala/CommandExample.scala:42:24
cats.effect.Bracket[<error>,Thro

Currently, we manually append the params to the url / query string using urljoin. Instead, we can send the query params in as a dictionary

Hi there, thanks for this project. Very happy so far.

We're trying to migrate to scala 3, and on of the things which came up was this.

I need to make this manual change to use a generated http4s client, in Implicits.scala

-    implicit val showString = build[String](Predef.identity)
-    implicit val showInt = build[Int](_.toString)
-    implicit val showLong = build[Long](_.

See if it would be possible (and maybe useful) to define instances of higher-kinded typeclasses like ApplyK for the types in sup.