Data.Invertible.Semigroupoid
toIso
fromIso