Data.Invertible.Bijection
data
Bijection
a b c
type
(<->)