Zaslat SMS: The coinductive resumption monad