Data.Bijection
data
Bijection
(~>) a b
type
a
:<->:
b
idb
inverse
bimap
(--->)
inBi