types in examples from the paper