Premonoidal optics may not be a prostrong promonad

Last updated May 3, 2023

Tags: Proeffectful categories, Prostrong promonad, Premonoidal optics.