type check: report error when instantiating function with no arguments