最近Scala読み始めたんだけど、この(f: A => B)ってとこがどういう定義なのか意味分かんない
他言語でいうwhere的なのこれ？　にしてもf使われないしちんぷんかん
trait WithMap[F[_]] {
def map[A,B](fa: F[A])(f: A => B): F[B]
}