add constraints to other types