"Si vis pacem, para bellum"
(Vegetius 5th century)
What's a type? In tcomb a type is represented by a function T such that:
has signature T(value) where value depends on the nature of T
is idempotent, that is T(T(value)) = T(value)
owns a static function T.is(x) returning true if x is an instance of T