难以理解此Scala语法

Question

试图在项目中实现HTTP4s，并遇到了一个使用F [_]的示例。我开始阅读this文章，其中删除了这段代码

trait WithMap[F[_]] {
def map[A,B](fa: F[A])(f: A => B): F[B]
}

如果我错了，请纠正我。这是需要类型构造函数的特征吗？我在哪里可以读到这种语法？我不确定以下内容代表什么。我将其视为采用A类型并返回B类型的地图。

def map[A,B](fa: F[A])(f: A => B): F[B]