Map
data
Map
k a
singleton