Agree, or if it is an ordset, we should use `ordset:ordset(Type)` in the type spec.