A classic syntactic debate: do you prefer types before or after parameters? Why?