The Magmoid of normalized stochastic kernels is the Kleisli construction over this quasi distributive law. normalization subdistributions act on the normalization magmoid normalization is almost a restriction operator distributive law
