[TYPE] Make template from FunctionVar type checking