our right adjoints are monoidal