__export ShouldSucceed Rec{Node}; 1 data Rec = Node PrelBase.Int Rec ;