Examples of type error