Upgrade/downgrade dependencies to ensure none are incompatible

Author: kubukoz

build.sbt

@@ -2,7 +2,7 @@ val Scala_212 = "2.12.8"
 val Scala_211 = "2.11.11"
 
 val catsEffectVersion          = "1.4.0"
-val catsTaglessVersion         = "0.9"
+val catsTaglessVersion         = "0.5"
 val catsParVersion             = "0.2.1"
 val doobieVersion              = "0.7.0"
 val catsVersion                = "1.6.1"
@@ -11,12 +11,12 @@ val scalatestVersion           = "3.0.8"
 val simulacrumVersion          = "0.19.0"
 val scalacacheVersion          = "0.28.0"
 val macroParadiseVersion       = "2.1.1"
-val kindProjectorVersion       = "0.9.10"
+val kindProjectorVersion       = "0.10.3"
 val refinedVersion             = "0.9.9"
-val fs2RedisVersion            = "0.7.0"
+val fs2RedisVersion            = "0.8.2"
 val h2Version                  = "1.4.199"
 val log4CatsVersion            = "0.3.0"
-val http4sVersion              = "0.20.9"
+val http4sVersion              = "0.20.10"
 val circeVersion               = "0.11.1"
 val sttpVersion                = "1.6.4"
 
@@ -37,7 +37,7 @@ inThisBuild(
 
 val compilerPlugins = List(
   compilerPlugin("org.scalamacros" % "paradise" % macroParadiseVersion).cross(CrossVersion.full),
-  compilerPlugin("org.spire-math" %% "kind-projector" % kindProjectorVersion)
+  compilerPlugin("org.typelevel" %% "kind-projector" % kindProjectorVersion)
 )
 
 val commonSettings = Seq(
@@ -96,7 +96,7 @@ val redis = module("redis")
   .settings(
     crossScalaVersions := List(Scala_212),
     libraryDependencies ++= Seq(
-      "com.github.gvolpe" %% "fs2-redis-effects" % fs2RedisVersion
+      "dev.profunktor" %% "redis4cats-effects" % fs2RedisVersion
     )
   )
   .dependsOn(core)

microsite/src/main/tut/guide/fs2-redis.md

@@ -1,9 +1,9 @@
 ---
 layout: docs
-title: fs2-redis
+title: redis4cats
 ---
 
-sup has an fs2-redis module:
+sup has a redis4cats module:
 
 ```tut:passthrough
 sup.microsite.sbtDependencies("redis")
@@ -21,7 +21,7 @@ import sup._, sup.modules.redis._
 You can build a connection check out of a `Ping` algebra (included in `RedisCommands`). Let's create one first:
 
 ```tut:book
-import com.github.gvolpe.fs2redis.algebra.Ping, cats.effect._
+import dev.profunktor.redis4cats.algebra.Ping, cats.effect._
 
 implicit def ping: Ping[IO] = ???
 ```

modules/redis/src/main/scala/sup/modules/redis.scala

@@ -2,13 +2,13 @@ package sup.modules
 
 import cats.implicits._
 import cats.{ApplicativeError, Id}
-import com.github.gvolpe.fs2redis.algebra.Ping
+import dev.profunktor.redis4cats.algebra.Ping
 import sup.{Health, HealthCheck, HealthResult}
 
 object redis {
 
   /**
-    * Creates a healthcheck for an fs2-redis connection. If the check fails, the result is [[Health.Sick]].
+    * Creates a healthcheck for a redis4cats connection. If the check fails, the result is [[Health.Sick]].
     * */
   def pingCheck[F[_], E](implicit cmd: Ping[F], F: ApplicativeError[F, E]): HealthCheck[F, Id] =
     HealthCheck.liftF {

modules/redis/src/test/scala/sup/RedisCheckSpec.scala

@@ -1,7 +1,7 @@
 package sup
 
 import cats.implicits._
-import com.github.gvolpe.fs2redis.algebra.Ping
+import dev.profunktor.redis4cats.algebra.Ping
 import org.scalatest.{Matchers, WordSpec}
 import sup.modules.redis