New types for all the things