Recursion from Cyclic Sharing: {{Traced}} Monoidal Categories and Models of Cyclic Lambda Calculi