>>569

これ嫁
"Scalaにおける型パラメータの部分適用 [({type F[X] = G[A,X]})#F] について"
http://yuroyoro.hatenablog.com/entry/2012/08/02/153418