Գրեք սա: The coinductive resumption monad