(bail ..args)
  args: zero or more arguments (any type)

Triggers an error.

With a single argument, the error's payload will be that argument. Otherwise, all of the arguments are passed to str, and the resulting string is the error's payload.