Data.Invertible.Invariant
invmap