marks always have a type