scala - Kleisli 示例需要显式类型和 FlatMap[Option]？

Question

我正在玩基本的Kleisli 示例

import cats.data.Kleisli
import cats.FlatMap

val parse = Kleisli[Option, String, Int](
  (s: String) => try {
    Some(s.toInt)
  } catch {
    case _: NumberFormatException => None
  }
)

val reciprocal = Kleisli[Option, Int, Double](
  (i: Int) =>
    if (i == 0)
      None
    else
      Some(1.0 / i))

val c = reciprocal.compose(parse)

有两件事让我着迷

• 为什么我需要明确指定类型 [Option,String,Int]？示例代码省略了它们，我猜它一定也以这种方式工作......
• 评估c像c("5")我真的需要FlatMap[Option]手动给出还是我缺少一个隐式导入？

我可以加

   implicit val optionFlatmap = new FlatMap[Option] {
      override def flatMap[A, B](fa: Option[A])(f: (A) => Option[B]): Option[B] = fa.flatMap(f)
      override def map[A, B](fa: Option[A])(f: (A) => B): Option[B] = fa.map(f)
    }

评估c("5")，但是这东西没有默认实现吗？