[edit] apparently corecursion isn't the correct term for when two functions call each other recursively? I thought there was a term for it