Redecoration with corecursor on Tri