Data.Coerce

Safe coercions

coerce

class Coercible k0 a b