Types matter