TYPE CHECKER HELL YEAH