Help understanding types

Original text of this message