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