Composing Efficient Programs
