MORE TYPECHECKING, Is it right?! WHO KNOWS