RosettaCodeData/Task/Parametric-polymorphism/Scala/parametric-polymorphism-7.scala

trait DFA {
  type Element
  val map = new collection.mutable.HashMap[Element, DFA]()
}