corecursion doesn't mean what I thought it meant