Similarly to below, I would be more comfortable if this just didn't exist, but did you have a use-case in mind when implementing this for a reseeder with `Default`? I suppose `Default` on a reseeder makes more sense than `Default` on a Rng, but I'd still rather avoid it unless there's a compelling use-case.