Data.Invertible.Bijection

data Bijection a b c

type (<->)