Data.Invertible.PartialIsomorphism

toIso

fromIso

(<$>)