Compositionality ∗ with an appendix by B