Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
単純なようです
type Db[F[_], A] = Kleisli[F, Connection, A] type Transactor[DB[_], F[_]] = DB ~> F
機能的な JDBC レイヤーの構築にも使用できます