partial defun is defun