evaluate function labeling without the need of explicit type knowledge