bug1085.scala

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

trait Functor[a] {
	type MyType[a]
}

object Test {
  def listFunctor[a]: Functor[a]{type MyType[x]=List[x]} = new Functor[a] {
    type MyType[t]=List[t]
  }
}