Data.Constraint.Unsafe
unsafeCoerceConstraint
unsafeDerive
unsafeUnderive
unsafeApplicative
unsafeAlternative