@incollection{laplaza2006coherence,
title={Coherence for distributivity},
author={Laplaza, Miguel L},
booktitle={Coherence in categories},
pages={29--65},
year={2006},
publisher={Springer}
}- The notion of distinctly typed coherence appears here as “regularity”: regular elements are elements a of A such that any element of X appears at most once in the expression of a.