tests/pending/pos/t7517.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

trait Box[ K[A[x]] ]

object Box {
   // type constructor composition
   sealed trait ∙[A[_], B[_]] { type l[T] = A[B[T]] }

   // composes type constructors inside K
   type SplitBox[K[A[x]], B[x]] = Box[ ({ type l[A[x]] = K[ (A ∙ B)#l] })#l ]

   def split[ K[A[x]], B[x] ](base: Box[K]): SplitBox[K,B] = ???

   class Composed[B[_], L[A[x]] ] {
      val box: Box[L] = ???

      type Split[ A[x] ] = L[ (A ∙ B)#l ]
      val a: Box[Split] = Box.split(box)

      //Either of these work:
      val a1: Box[Split] = Box.split[L,B](box)
      val a2: Box[ ({ type l[A[x]] = L[ (A ∙ B)#l ] })#l ] = Box.split(box)
   }
}