flip -package:bifunctors package:constraints-extras

Flip for constraints.