Made nothing into a custom tagged value.