module ShouldSucceed where

data Rec = Node Int Rec