definition module UtilSequence

(:-) infixl 0
(:-) f a
	:==	a f