the value of ``t`` should be checked as well, not just its type.