Working on constrained type specifiers.