Data.Coerce

Safe coercions

coerce

class Coercible k a b