Draft: open recursion for Core's Type --- contains !7579
I have made some progress rewriting Type
and HieType
in terms of an underlying "open" TypeF
. I think open recursion compliments, rather than competes with trees that grow, and am hoping we can merge this. I should probably do the same thing to IFaceType
too.