Data.Invertible.Coerce

coerce