Type hierarchy in Distributions.jl