flip -package:numeric-prelude package:constraints-extras

Flip for constraints.