refactor(syntax): more abstraction, use HKT instead of IO

src/main/scala/net/yoshinorin/qualtet/syntax/monad.scala

@@ -0,0 +1,18 @@
+package net.yoshinorin.qualtet.syntax
+
+import cats.{Monad, MonadError}
+import scala.reflect.ClassTag
+import cats.syntax.flatMap.toFlatMapOps
+
+trait monad {
+
+  extension [F[_]: Monad, A: ClassTag](monad: F[Option[A]]) {
+    def throwIfNone[T <: Throwable](t: T)(implicit me: MonadError[F, Throwable]): F[A] = {
+      monad.flatMap {
+        case Some(a: A) => Monad[F].pure(a)
+        case _ => MonadError[F, Throwable].raiseError(t)
+      }
+    }
+  }
+
+}

src/main/scala/net/yoshinorin/qualtet/syntax/syntax.scala

@@ -1,3 +1,3 @@
 package net.yoshinorin.qualtet
 
-package object syntax extends string with eitherT with tuple with validator with io with option with json with http with throwable with points
+package object syntax extends string with eitherT with tuple with validator with monad with option with json with http with throwable with points

src/main/scala/net/yoshinorin/qualtet/syntax/throwable.scala

@@ -19,4 +19,5 @@ trait throwable {
       IO(e)
     }
   }
+
 }