Data.Coerce

Safe coercions

coerce

class Coercible a b