Examples to test the typechecker: