Multimplicit.scala

package multimplicit

sealed abstract class Multimplicit extends Product with Serializable

final case class ::[+H, +T <: Multimplicit](head : H, tail : T) extends Multimplicit {
  override def toString = head match {
    case _: ::[_, _] => "("+head+") :: "+tail.toString
    case _ => head+" :: "+tail.toString
  }
}

object :: {
  implicit def instance[H, T <: Multimplicit](implicit h: H, t: T): H :: T =
    ::(h, t)
}

sealed abstract class MNil extends Multimplicit {
  override def toString = "HNil"
  def ::[H](h : H) = multimplicit.::(h, this)
}

case object MNil extends MNil {
  implicit val self: this.type = this
}