Syntax definition cuncf

Description: Extend class notation with the uncurrying of a functor.

	Ref	Expression
Assertion	cuncf	$$class{uncurry}_F$$