More types, types are good