example type error