marks always have a type.