Implements basic function vs. not type-checking