flip -package:constraints-extras package:basic-prelude

flip f takes its (first) two arguments in the reverse order of f.