Data.Constraint.Unsafe

class Coercible a b

unsafeCoerceConstraint

unsafeDerive

unsafeUnderive

Sugar

unsafeApplicative

unsafeAlternative