Data.Bijection.Map

data Bimap l r