If we were inventing a language from the beginning, would it be strictly
necessary to have two kinds? 

Could we have just an unboxed kind #, and have
a box be an explicit type constructor?

Does this thing seem remotely plausible to people who know clever type
theory?