Checks.TypeCheck

typeCheck