@awesomekling mentioned he'd prefer somewhat more explicit union syntax in algorithms as opposed to "null or X", "string-or-null", etc.

It's a little awkward now and then currently, especially with null, so this seems worth considering.

Perhaps something like this:

To do algorithm, given a union { null, string } input, ...