higherkind_novalue.check

来自「JAVA 语言的函数式编程扩展」· CHECK 代码 · 共 8 行

higherkind_novalue.scala:2: error: type m takes type parameters
  val x: m // type of kind *->* doesn't classify a value, but a val/def/... can only contain/return a value
         ^
higherkind_novalue.scala:3: error: type m takes type parameters
  def y: m
         ^
two errors found