change context's type in rec