# というのはこういうやつ → ({type λ[α]=State[S, α]})#λ 先日のscalaz勉強会でも質問があって触れられていましたが（↓） http://t.co/GoCDB4TGVu "Scalaにおける型パラメータの部分適用 [({type F[X] = G[A,X]})# F] について" #scalaz— Kenji Yoshida (@x…