simplifying types