Data.TotalMap
data
TMap
k v
fromPartial
(!)
tabulate
trim
intersectionPartialWith
codomain