blob: fa1ab8c0f676a03f3e902749e98b032d3c11a522 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
trait Empty[E[_]] {
def e[A]: E[A]
}
object T {
val ListEmpty = new Empty[List] {
def e[B] = Nil
}
def foo[F[_]](q:(String,String)) = "hello"
def foo[F[_]](e: Empty[F]) = "world"
val x = foo(ListEmpty)
}
|