Balsa types are composed of four primitives (Table ). The first, Option, represents a value of a particular type that may either be present or absent. If not present, the special value None is used. A List is a possibly empty ordered collection of values of the same type. The Range type represents an integer value constrained by a lower inclusive bound (m) and an upper, exclusive bound (n). The Boolean type assumes one of two values: true or false.