WIP: how to generate only NonRec DataCons when we hit depth 0?