Another use of `null_type`