Towards compositional probabilistic programming