Or maybe that's not what `@overload` does. Either way, can we somehow document *why* we are doing this?