sesquilaw normalization is almost a distributive law renormalize whenever Kleisli unital magmoid of normalization Tags: normalization.
