Coproduct Scala Worksheet Fail

coproduct_scala_worksheet.scala

// From Shapeless `coproduct.scala`

sealed trait Animal

case class Cat(name: String, livesLeft: Int) extends Animal

case class Dog(name: String, bonesBuried: Int) extends Animal

case class Koala(name: String, leavesEaten: Int) extends Animal

case class Sloth(name: String, daysToClimbDownFromCurrentTree: Int) extends Animal

val garfield = Cat("Garfield", 9)
val odie = Dog("Odie", 3)
val koala = Koala("foo", 10)
val sloth = Sloth("bar", 2)
// NOTE: This line fails in worksheet, as it can't find the implicit based on the `Animal` type, but works from console
val genAnimal = Generic[Animal]