coproducttest.scala

import shapeless._
import ops._
import coproduct._

object coproducttest {

  type U = Int :+: String :+: CNil

  type V = Double :+: List[Int] :+: CNil

  type W = Prepend[U,V]#Out

  val i : Int = 1

  // could not find implicit value for parameter inj: shapeless.ops.coproduct.Inject[coproducttest.W,Int]
  val z = Coproduct[W](i)

}