Composing with Constraints