The Scala compiler can also deduce type parameters when polymorphic methods are called, or when generic classes are instantiated:
case class InferedPair[A, B](a: A, b: B)
val pairFirstInst = InferedPair("Husband", "Wife") //type is InferedPair[String, String]
// Equiv...