> I think the example matches on AnyRef, so a default case might be hygienic.

Yes, good point. The example doesn't explicitly continue the context of the puzzler, so may indeed be neither a `String` nor `null`, but something else entirely.

Perhaps rename `a` to `nullablePotentialString` or `maybeStringCouldBeNull` or so?