“=>”在scala泛型中是什么意思?

阅读Scalaz和Cats的文档,我注意到它们经常使用 => 在它们的通用/多态字段中。例如,从 scalaz page on applicatives ,具有以下定义 ap :

override def ap[A, B](fa: ZipList[A])(f: ZipList[A => B]): ZipList[B] =
    ZipList((fa.value zip f.value).map(t => t._2(t._1)))

现在,我想了解的用法 => 在地图内部,它充当lambda的一部分,我可以猜测 => 第一行添加了以下要求 A 和 B 用于函数。但我似乎找不到任何文件来证实这一点。

那么,的目的是什么 => 当在Scala的泛型/多态字段定义中使用时?