Data.Bijection
data Bijection (~>) a b
type a :<->: b