Candidates for corecursive-main