Would it be more consistent if we use `iota` just like in `Attribute`'s category type?