Type synonyms in STLC #131
Description
It's not clear to me we want definition of kind * in STLC, since you wouldn't be able to take types as parameters, so the desugaring to let wouldn't work. I remember we might have discussed this earlier, but I can't find trace of that.