Data.Invertible.Coerce
coerce