blob: 91c120ec1bc1d549e01d0d82ceb5e881d19de087 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
sealed trait Kleisli[M[_], A, B]
trait PartialApplyKA[T[_[_], _, _], M[_], A] {
type Apply[B] = T[M, A, B]
}
trait MA[M[_], A]
trait MAs {
val a: MA[PartialApplyKA[Kleisli, List, String]#Apply, Int] = null
}
object Scalaz extends MAs
|