milessabin

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

object coproducttest {

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

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