Distribution of sum of random variables

Looks like your version of Distributions is 2 minor versions old. Try updating to 0.25.