🤦 or perhaps turn on -Ypartial-unification as any other decent project 😡

Author: sideeffffect

http4s-blaze-server/src/main/scala/com/avast/server/toolkit/http4s/Http4sRouting.scala

@@ -1,20 +1,19 @@
 package com.avast.server.toolkit.http4s
 
 import cats.Monad
-import cats.data.{Kleisli, OptionT}
+import cats.syntax.all._
 import org.http4s.syntax.kleisli._
-import org.http4s.{HttpApp, HttpRoutes, Request}
+import org.http4s.{HttpApp, HttpRoutes}
 
 import scala.language.higherKinds
 
 object Http4sRouting {
 
   /** Makes [[org.http4s.HttpApp]] from [[org.http4s.HttpRoutes]] */
   def make[F[_]: Monad](routes: HttpRoutes[F], more: HttpRoutes[F]*): HttpApp[F] = {
-    val semigroup = Kleisli.catsDataSemigroupKForKleisli[OptionT[F, *], Request[F]]
 
     more
-      .foldLeft[HttpRoutes[F]](routes)(semigroup.combineK)
+      .foldLeft[HttpRoutes[F]](routes)(_.combineK(_))
       .orNotFound
   }
 

project/ScalacOptions.scala

@@ -12,6 +12,7 @@ object ScalacOptions {
     "-Xcheckinit",
     "-Ywarn-value-discard",
     "-Ywarn-macros:after",
+    "-Ypartial-unification",
     "-Ybackend-parallelism",
     "4"
   )