blob: a1a5a81f460ba2ba0b6a16b38beea5ab2f7a0352 (
plain) (
tree)
|
|
trait Empty[E[_]] {
def e[A]: E[A]
}
object T {
val ListEmpty = new Empty[List] {
def e[B] = Nil
}
// needs better type inference for hk types
def foo[F[_]](q:(String,String)) = "hello"
def foo[F[_]](e: Empty[F]) = "world"
val x = foo[List](ListEmpty)
}
|