blob: efd7d3df21a4ceff0a614832cc286ebf02538dd9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
package test
object HKGADT {
sealed trait Foo[F[_]]
final case class Bar() extends Foo[List]
def frob[F[_]](foo: Foo[F]): F[Int] =
foo match {
case Bar() =>
List(1)
}
sealed trait Foo1[F]
final case class Bar1() extends Foo1[Int]
def frob1[A](foo: Foo1[A]) = foo match {
case Bar1() => 1
}
}
|