Given two natural transformations, why can we compose them equivalently in two distinct ways?
Having trouble proving natural transformation horizontal composition equality of two formulas using a diagram.