A crash course in Scala types · HackerTrans