trait Para1 {
  type A
  type B
  var fst: A
  var snd: B
}
object Main {
  def main(args: Array[String]): Unit = {
    val p = new Para1{
      type A = Int
      type B = String
      var fst = 1
      var snd = "Asia"
      override def toString: String =  "(" + fst + ", " + snd + ")"
      }
    println(p.fst)
    println(p)
  }
}