lesson-22. type checking koans