Eq instance for 'Rec' combinator.
Test case for 'Rec' combinator.