Data.Coerce
Safe coercions
coerce
class
Coercible
k0 a b