Is there an advantage for trb code to use colons for type annotations like:

  def greet(name: String): String

Instead of arrows like rbs files? Why diverge from precedent?

  def greet: (name: String) -> String