scala快速解析类型检查

Question

我对以下使用scala fastparse 0.4.3的代码无法进行类型检查感到困惑。

val White = WhitespaceApi.Wrapper{
  import fastparse.all._
  NoTrace(CharIn(" \t\n").rep)
}
import fastparse.noApi._
import White._

case class Term(tokens: Seq[String])
case class Terms(terms: Seq[Term])

val token = P[String] ( CharIn('a' to 'z', 'A' to 'Z', '0' to '9').rep(min=1).!)
val term: P[Term] = P("[" ~ token.!.rep(sep=" ", min=1) ~ "]").map(x => Term(x))
val terms = P("(" ~ term.!.rep(sep=" ", min=1) ~ ")").map{x => Terms(x)}
val parse = terms.parse("([ab bd ef] [xy wa dd] [jk mn op])")

错误消息：

[error] .../MyParser.scala: type mismatch;
[error]  found   : Seq[String]
[error]  required: Seq[Term]
[error]     val terms = P("(" ~ term.!.rep(sep=" ", min=1) ~")").map{x => Terms(x)}
[error]                                                                         ^

我可以想象，由于term是Term类型，并且terms模式使用term.!.rep(...，因此它应该获得一个Seq[Term]。