Example unit test for incorrect types

I feel like writing tests for checking the types might have been
slightly less straightforward than I had hoped, so here are two examples
that show one way to look at the problem, but probably not the "best"
way.