object Main extends App {
  type ¬[A] = A => Nothing
  type ∨[T, U] = ¬[¬[T] with ¬[U]]
  type ¬¬[A] = ¬[¬[A]]
  type |∨|[T, U] = { type λ[X] = ¬¬[X] <:< (T ∨ U) }
  
  def dashboardStat[LabelT: (scala.xml.Elem |∨| String)#λ,
                    ValueT: (scala.xml.Elem |∨| String)#λ]
                    (target: String, label: LabelT, value: ValueT, icon: String) =
    <a href={target}>
      <div class="visual">
        <i class={s"fa fa-$target"}></i>
      </div>
      <div class="details">
        <span class="content">{label}</span>
        <span class="value">{value}</span>
      </div>
      <i class="fa fa-play-circle more"></i>
    </a>

  println(dashboardStat("/", <strong>Hello, world!</strong>, "$200.00", "money"))
}