Showing how implicits can demonstrate contra and co variance with out all the type noise.

co-contr-implicits.scala

package example


class Widget(val description : String)

class CoolWidget extends Widget("cool widget")

class Sprocket(val description : String)

object Sprocket {
  def printDescription(s : Sprocket){
    println(s.description)
  }
}

class CoolSprocket(override val description : String) extends Sprocket(description)


object Main extends App {
	implicit def widgetToCoolSprocket(w: Widget) : CoolSprocket ={
      return new CoolSprocket(w.description);
    }
	
    var myCoolWidget = new CoolWidget();
    Sprocket.printDescription(myCoolWidget);
	println(Lists.max(List(1,3,2)))
}