effectful copy-discard from a strong promonad
Given a strong promonad, the triple consisting of: (1) the base category, (2) the center of the kleisli category of the strong promonad, and (3) the kleisli category of the strong promonad, forms an effectful copy-discard category.