2 ms·

Basically any unfold is corecursive.