blob: d47ed3b6cbeb82d0e3f185dd4753d8dfcd2f9ff1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
trait Partial {
type Apply[XYZ] = List[XYZ]
}
trait MA[M[_]]
trait MAs {
val a: MA[Partial#Apply] = null // after compilation, the type is pickled as `MA[ [B] List[B] ]`
}
object Scalaz extends MAs
|