the check of function instances could go in an `else` here.