Unit laws. λ and ρ are unitors.

monassoc
algmorph