typelevel

Most awesome FP libraries (Cats, Scalaz, Monocle, Algebird etc ) have microsite done by sbt-microsites

Adding one for Shapeless would make it easier for newcomers. Quick, online reference on what is available

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

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