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