New post about types in Scala