flip is:module package:bifunctors