> Platform types are non-denotable, meaning that one can not write them down explicitly in the language.
> Platform types are non-denotable, meaning that one can not write them down explicitly in the language.