More tracing
Recover [CPR for sum types] (slightly differently)
Do not forget about Divergence of thunks