First Class Types

In THP types are first class citizens. This means that you can perform arbitrary logic with types, like assign it to variables, call functions on them, and many things.

First class types (from now on just Types) are written with a single quote, an uppercase letter, and (letters & numbers).

val 'MyType = String
   ╰╴Unrecognized character
thp

Conventions

Things that are types, or produce types, have an uppercase name. Actual value containers are lowercase.

For example, a function like Generate generates

Types as functions