Data.Total.Map

data TotalMap k a