Ежик в вольфраме
И это тоже.
А типировщик не заставляет на свои вопросы отвечать только "да" или "нет", а оценивает, с какого аспекта вы отвечаете, каким бы ни был ответ. Но это уже, конечно, не ваш любимый тест, а, скорее, беседа.