Yes, I would argue that the examples so far are closer to basic input validation than they are to type-checking.