I'm not sure we really *need* this `assert`. `Absent` can only be `Null` or `Nothing` for the possibly-empty and non-empty cases. If it's non-empty (`Nothing`) we never get to the `else` block: If we get to the `else` block then `Absent` must be null `Null`.