Composable, probabilistic computations.