external (|>) : '-> ('-> 'b) -> 'b = "%revapply"