data C -> infbTree(B) = infnode: C -> B * (C * C).