Data.Total.Array

data TotalArray k a