[4ad]

Let me make a prediction: this is because types in Verse will be just (failable?) functions that validate values. Notice that types are lowercase.

I said failable above, but they might be some other kind of functions. They have a total effect type (functions that are guaranteed to terminate), which could be safely called by the type checker.