flip -package:bifunctors package:dual