References. Universal Properties of Impure Programming Languages (Staton, Levy) Tags: Premonoidal functor, interchange law.