Shorten set-fdefn-fun