from what I remember from the Scala Coursera course, the types after simplify a lot of the parsing, and also allow for type inference. Types first makes this a

from what I remember from the Scala Coursera course, the types after simplify a lot of the parsing, and also allow for type inference. Types first makes this almost impossible. I probably misremembered quite a bit, but...