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

With a file

---
description: 400 - The request was malformed or missing a required field.
content:
  application/json:
    schema: { $ref: '#definitions/BadRequestResponse' }

definitions:
  BadRequestResponse:
    description: Optional information about how the request was bad.
    type: object
    properties:
      fieldName:
        description: >-
          If this error

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