TYPECHECKING IS ALIVE