specifying types