Add example 5, demonstrate that the type check is not that strict