Data.Random.Distribution.MultivariateNormal
data family
Normal
k ::
*