cats-effect

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

Suggested on Telegram.

It may be easier to understand the examples if they don't show both distage and BIO at the same time, so we may want to have a variant of distage-example that uses just distage alone, using a monomorphic effect type everywhere.

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