Scala2におけるType Lambdaについては、下記のブログエントリが詳しい。 underscore.io 最初に、型パラメータの数を一つとして定義していると、型パラメータを二つ取る物を渡せない。 scala> trait Functor[F[_]] trait Functor scala> type F1 = Functor[Op…