Dear Categorists, The following preprint is available on math arxiv: "State monads and their algebras" http://arxiv.org/abs/math/0407251 It presents a proof of monadicity for X -> X^S in regular ccc's provided S is a non empty object. Thanks in advance for comments and pointers to relevant litterature. Francois