Data.Invertible.Invariant

invmap