• Power and Robinson talk about the state promonad as the uncurried version of the state monad.