Hint.ListRec
listRecHint