Reliable and Effective Types