normal distributive signature

Tags: normal duoidal category.