Deep (i.e., "real") function equality