The Kleisli unital magmoid of normalization is the Kleisli construction over this quasi distributive law. normalization Norm acts in Subd normalization is almost a restriction operator distributive law
