Things I Was Wrong About: Types