for x being object
for f being Function st x in dom (curry f) holds
(curry f) . x is Function