Data.Bijection.Map

data Map k a