Tekstiviesti: The coinductive resumption monad