Data.Invertible.Semigroupoid

toIso

fromIso