I don't think there's any need to, since the contractiveness of `Rec` types is checked in `parse-type.rkt`.