add tyList to rec