Data.Bijection

data Bijection (~>) a b

type a :<->: b

idb

inverse

bimap

(--->)

inBi