maybe a better/more descriptive phrase than "the root of types"