Correction to type adaption example, making it more transparent