Post on uniqueness typing in scala.