sig val ( $ ) : ('-> 'b) -> ('-> 'a) -> '-> 'end