Composable, streaming, and efficient left folds
