Effectful Semantics in 2-Dimensional Categories, Premonoidal and Freyd Bicategories (Paquet, Saville)
