flip -package:type-spec package:basic-prelude

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