Data.Invertible.PartialIsomorphism
toIso
fromIso
(<$>)