1
sealed trait KList[+M[_]]
3
case class KCons[M[_], +T <: KList[M]](
7
case class KNil[M[_]]() extends KList[M]
10
val klist: KCons[Option, KCons[Option, KCons[Option, KNil[Nothing]]]] = ???
13
// "Exception in thread "main" scala.reflect.internal.Types$TypeError: value _1 is not a member
14
// of KCons[Option,KCons[Option,KNil[Nothing]]]"
16
case KCons(KCons(KCons(_))) =>
19
// fails with a similar message as an error, rather than a crash.
21
case KCons(KCons(_)) =>
b'\\ No newline at end of file'