Type Constructors 

Here are built-in type constructors:

TYPE_ITERATOR(typ)           // Iterator[A]
TYPE_TUPLE(typ, ...)         // Tuple2[A, B, ...]
TYPE_ARRAY(typ)              // Array[A]
TYPE_LIST(typ)               // List[A]
TYPE_SEQ(typ)                // Seq[A]
TYPE_VECTOR(typ)             // Vector[A]
TYPE_MAP(typ1, typ2)         // Map[A, B]
TYPE_OPTION(typ)             // Option[A]
TYPE_EITHER(typ1, typ2)      // Either[A, B]
TYPE_RIGHT(typ1, typ2)       // Right[A, B]
TYPE_LEFT(typ1, typ2)        // Left[A, B]
TYPE_SOME(typ)               // Some[A]
TYPE_ORDERED(typ)            // Ordered[A]
typ1 TYPE_=> typ2            // Function1[A, R]
TYPE_FUNCTION(typ, ..., r)   // Function1[A, R]
TYPE_=:=(typ1, typ2)         // =:=[A, B]
TYPE_<:<(typ1, typ2)         // <:<[A, B]
TYPE_<%<(typ1, typ2)         // <%<[A, B]