TYPE CHECKER WORKS!!!!!!