Re: [PATCH] P0935R0 Eradicating unnecessarily explicit default constructors

[Tim Song]

Since param_type's constructors are defined by reference to the
constructors of the distribution, P0935's changes to the distribution's
constructors apply to their param_type as well.