add apply of the function type_checker int the function