A crash course in Scala types
scalabound.org