El operador (->) se nida por el derecho, ya que "t -> s -> r" quiere decir "t -> (s -> r)".